x86_init.h revision ae7e1238
1