- fix: correctly handle spurious IRQs
This also fixes a bug running minirighi on Bochs, that reported a lot of messages like the following:
unhandled_interrupt(): unexepected IRQ number 007!
Bug reported by: Jon Rafkind <rafkind@...>
Authored by: righiandr 2008-04-01
Parent: [r38]
Child: [r40]