[coreboot-gerrit] New patch to review for coreboot: a59d682 build system: Drop another vboot1 remnant