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