review.coreboot.org / coreboot / 7a9520483aad833cb11fadf3ee12decee8d1e521 / src / mainboard / intel / dcp847ske / devicetree.cb