[coreboot] Patch merged into coreboot/master: a9e23fc IEI/KINO: Fixes an apparent ACPI VGA resource collision.