4 - List of boot protocol versions
6 - Using earlyprintk with a USB2 debug port key.
8 - Describe (some of the) kernel entry points for x86.
10 - why and how Linux kernel uses exception tables on x86
12 - How to load microcode from an initrd-CPIO archive early to fix CPU issues.
14 - how to use x86 Memory Type Range Registers to increase performance
16 - Page Attribute Table intro and API
17 usb-legacy-support.txt
18 - how to fix/avoid quirks when using emulated PS/2 mouse/keyboard.
20 - layout of the first page of memory.