x86_init.h revision f72e38e8
1