[coreboot-gerrit] Patch set updated for coreboot: 01c7fbb vboot: Remove unused 2lib header path