Re: [coreboot] dts general question