[Bug 482220] IRQ delivery problem (?) for sata_sil24 controller when boot @ kernel-xen