[coreboot] Re: sources about coreboot devicetree