Re: [coreboot] [PATCH 2/2] BUILD: preprocess devicetree