Re: [coreboot] how to assign irq to a device