sparc64: Make touch_nmi_watchdog() actually work.