[PATCH MANUALSEL 4.14 1/4] x86/nmi: Make register_nmi_handler() more robust