x86_init.h revision 88e378d4
1