Top header file for new x86 setup code