[coreboot] New patch to review for coreboot: b11cee2 Drop verified boot code from acpi.c