[coreboot] Patch set updated for coreboot: a9e23fc IEI/KINO: Fixes an apparent ACPI VGA resource collision.