* kernel/boot/boot.c: misc