Microcode 0x125 to ensure etvb