On Oct 3, 2012, at 10:24 AM, Frank Wille wrote: > This is not a good idea. It would mean that all i8259 interrupts would be > handled at IPL_HIGH. Not true. They will get deferred until IPL drops.