Microcode definitions for Intel processors