target appropriate manpage section; rename boot.o to properly namespaced kboot.o; misc fixes