[coreboot] #162: Move SYSTEM_TYPE to Kconfig