[coreboot-gerrit] Patch set updated for coreboot: b4f43f2 vboot: remove vboot_context.h