[coreboot-gerrit] Patch merged into coreboot/master: ec/quanta/ene_kb3940q: Fix ACPI Notice