[coreboot-gerrit] Patch set updated for coreboot: 93f0615 acpigen: Add new function acpigen_pop_len