Fix two double assignments in the kernel and the boot code.