[coreboot-gerrit] New patch to review for coreboot: mb/ga-g41m-es2l: correctly configure PCI IRQ in ACPI