Adding more to the x86 DEF header