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