[coreboot-gerrit] Change in coreboot[master]: src/Kconfig: Move mainboards specific symbols to mb/Kconfig