[coreboot] Idiots guide to devicetree.cb