/boot/kernel.bin