x86: Address 'unused' warning in hw_nmi.c again