x86_init.h revision ab3b3793
1