x86: traps_xx: modify default_do_nmi