Re: [coreboot] Serengeti dts