Couple of fixes to get the kernel working on actual x86 machine.