Two fixes:

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

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