Deindent the innermost sections

These sections were not numbered and didn't appear in the TOC,
but I think it's better for navigation to make their presence explicit.
Insert todo: describe tools of the trade
Back out of pinpointing flaws in x86-64 design
Edit the section on booting 64 bit kernel
Update PDF preview