Re: [coreboot] #162: Move SYSTEM_TYPE to Kconfig