Return from NMI handler using RETN