review.coreboot.org / coreboot / 155e9b5533131f4b944ebb7e5714a871a1294dda / src / mainboard / samsung / lumpy / devicetree.cb