[coreboot-gerrit] Patch set updated for coreboot: ea78d94 vboot2: implement vb2ex_read_resource