review.coreboot.org / coreboot / 572795bf0877627e77526fe505ad6e6158093fbc / src / mainboard / lenovo / t420s / devicetree.cb