[coreboot-gerrit] Patch merged into coreboot/master: asus/k8v-x: Add PIRQ tables to init PCI IRQ config