A change to robustify force-threaded IRQ handlers to always disable interrupts,
plus a DocBook fix.

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