x86_init.h revision 52fdb568
1