review.coreboot.org / coreboot / 3e4f7a39f8cbdfc7cd097b5c57c43f52d9b0fb4c / src / mainboard / supermicro / x9scl / devicetree.cb