x86_init.h revision 0e4ccb15
1