[coreboot-gerrit] Patch set updated for coreboot: fb11164 vboot: allow for dynamic work buffers