x86-urgent-2020-10-11

 - Fix a (hopefully final) IRQ state tracking bug vs. MCE handling
 - Fix a documentation link

Signed-off-by: Ingo Molnar <mingo@kernel.org>