[coreboot] RFC: Proposal for Devicetree.cb & the C preprocessor