review.coreboot.org / coreboot / 714baa119b2ded203e148b381a4a3d1a74a91a68 / src / mainboard / lenovo / t430 / devicetree.cb