microcode_nmi_handler
bool microcode_nmi_handler(void);
if (microcode_nmi_handler_enabled() && microcode_nmi_handler())