review.coreboot.org / coreboot / a823f9b545b4a172c1c0f778b773f9ca13f0791e / src / mainboard / lenovo / t520 / devicetree.cb