* Makefile: use 512Mo of RAM in qemu
* Xix.tex.nw: misc
* include/trace.h: reindent
boolify, typeify, comment
* kernel/Kernel.tex.nw: comments, many stuff