[coreboot-gerrit] Patch set updated for coreboot: b91f6df acpigen: Remove acpigen_patch_len