x86_init.h revision b72d0db9
1