#x86 kernel