Check the multiboot handoff.

For now, we just check that the bootloader left `0x2BADB002` in the `%EAX` register when the kernel starts up.