[coreboot-gerrit] Patch set updated for coreboot: 4d0db76 vboot: add vb2_working_data_size()