Fix bug in intel_defns.h