- Set debugger options for kernel build - Define some missing functions - Bring in GCC defines - Disable the 'wbinvd' macro as it conflicts with our inline
is Intel's reference implementation of the core operating-system ACPI support. (This import is on the vendor branch.)