[coreboot] how to assign irq to a device