review.coreboot.org / coreboot / 6ccc3465c3488411e6e743bb9a2822ac5902b6df / src / mainboard / lenovo / t520 / devicetree.cb