[coreboot-gerrit] Patch merged into coreboot/master: 133ede8 Lenovo X230: new port