[coreboot-gerrit] Patch merged into coreboot/master: fd5ed6b build system: Drop another vboot1 remnant