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