[coreboot-gerrit] Patch set updated for coreboot: asus/k8v-x: Add PIRQ tables to init PCI IRQ config