x86_init.h revision eb41c8be
1