[coreboot-gerrit] Patch set updated for coreboot: 82dde2f Lenovo T530 [1/2]: create board by forking Lenovo X230.