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