[coreboot-gerrit] Patch set updated for coreboot: a5e062d build system: Drop another vboot1 remnant