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