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