review.coreboot.org / coreboot / e1ae4b212fd11fa9ae838afa2c045855a128e496 / src / mainboard / samsung / stumpy / devicetree.cb