[coreboot-gerrit] New patch to review for coreboot: mb/ga-g41m-es2l: remove unneeded IGD IRQ setting in ACPI