kmk incs
VMMSwitcher: test code for disabling the Extended LVT APIC registers on newer AMD boxes
VMMSwitcher: also mask NMI in APIC_REG_LVT_CMCI
VMM: X2APIC + NMI. Only tested on AMD64.
header (C) fixes
APIC: spaces, nits.
style
include/*: Made the headers build on linux again (kmk -C include).
header fixes
VMM: mask all Local APIC interrupt vectors which are set up to NMI mode during world switch (raw mode only)