x86_init.h revision dcb76008
1