[coreboot-gerrit] [S] Change in coreboot[main]: Kconfig: Rework SYSTEM_TYPE_XX to better map to SMBIOS