* kernel/boot/boot.rc: todo
* kernel/boot/pad.txt: