FIXUP: address restoreIRQ comment