Re: [coreboot] PCI interrupts and VGA?