31239e0d37
- Set debugger options for kernel build - Define some missing functions - Bring in GCC defines - Disable the 'wbinvd' macro as it conflicts with our inline