[coreboot-gerrit] Patch merged into coreboot/master: 3rdparty/vboot: update to current master