Re: [coreboot] [Qemu-devel] IRQ problems under qemu