Re: [coreboot] Kconfig vs. devicetree vs. CMOS policy for options?