Re: [coreboot] Some v3 Kconfig options into dts?