Various fixes to Kconfig: All kconfig-boards should have a