After a machine check that is handled by a debugger or by sending a
signal to a user task, set MSR.RI again.