x86: Add workaround to NMI iret woes