[coreboot-gerrit] [S] Change in coreboot[main]: dell/snb_ivb_workstations: Move selects from Kconfig.name to Kconfig