Re: [coreboot] [RFC] v3 DTS and Kconfig