[ros-kernel] irq fixes

[David W. <we...@cw...>]

Hi,

I'd like to hear of any success or failure reports with the changes to 
irq/irql handling I committed a few days ago.