e6fc77dffd
not masked during handling of shared PCI interrupts. This resulted in ASTs sometimes being discarded and softclock interrupts sometimes being handled prematurely (sometimes = quite often on systems with shared PCI interrupts, never on other systems). Debugged by: gibbs and other people at plutotech.com PR: 6944, maybe 12381