[coreboot] Patch merged into coreboot/master: b11cee2 Drop verified boot code from acpi.c