[coreboot] Re: About device tree in Coreboot