[coreboot-gerrit] Change in coreboot[master]: mb/*/irq_tables.c: Use PCI_DEVFN()