x86_init.h revision 71054d88
1