[coreboot-gerrit] Patch merged into coreboot/master: mb/ga-g41m-es2l: remove unneeded IGD IRQ setting in ACPI