[coreboot-gerrit] Patch set updated for coreboot: 4eb07e7 acpi/ec: Add missing delays