load HelenOS/boot/kernel.bin
romload HelenOS/boot/init 0x400000