[coreboot] Question about the devicetree.cb