mboot64: Update example kernels.

Mostly.

We can boot a Multiboot v1-alike kernel. Don't pass a memory map
to it yet, though.

Signed-off-by: Andrei Warkentin <andrey.warkentin@gmail.com>