[coreboot-gerrit] Patch set updated for coreboot: 420ff4c x230: Deploy VBT