Re: [coreboot] some thoughts on dts vs. Kconfig vs. makefiles vs. C code