powerpc/64s: move NMI soft-mask handling to C