Fix some minor Kconfig issues

- Remove Kconfig files that are no longer used:
    src/vencorcode/Kconfig
    src/soc/marvell/Kconfig
- Fix the drivers/sil/Kconfig to point to drivers/sil/3114 which had
the same code.
- Make sure all Kconfig files have linefeeds at the end. This can cause
problems, although it wasn't in this case.
- Include cpu/intel/model_65x/Kconfig which was not being included.

Change-Id: Ia57a1e0433e302fa9be557525dc966cae57059c9
Signed-off-by: Martin Roth <gaumless@gmail.com>
Reviewed-on: http://review.coreboot.org/9998
Tested-by: build bot (Jenkins)
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>

src/cpu/intel/Kconfig

@@ -1,5 +1,6 @@
 # CPU models
 source src/cpu/intel/model_6xx/Kconfig
+source src/cpu/intel/model_65x/Kconfig
 source src/cpu/intel/model_67x/Kconfig
 source src/cpu/intel/model_68x/Kconfig
 source src/cpu/intel/model_69x/Kconfig

src/drivers/sil/3114/Kconfig

@@ -4,5 +4,3 @@ config DRIVERS_SIL_3114
 	help
 	It sets PCI class to IDE compatible native mode, allowing
 	SeaBIOS, FILO etc... to boot from it.
-
-

src/drivers/sil/Kconfig

@@ -1,8 +1 @@
-config DRIVERS_SIL_3114
+source "src/drivers/sil/3114/Kconfig"
-	bool "Silicon Image SIL3114"
-	default n
-	help
-	It sets PCI class to IDE compatible native mode, allowing
-	SeaBIOS, FILO etc... to boot from it.
-
-

src/drivers/xgi/Kconfig

@@ -1,2 +1,2 @@
 source src/drivers/xgi/common/Kconfig
-source src/drivers/xgi/z9s/Kconfig
+source src/drivers/xgi/z9s/Kconfig

src/soc/marvell/Kconfig

@@ -1,20 +0,0 @@
-##
-## This file is part of the coreboot project.
-##
-## Copyright 2014 Google Inc.
-##
-## This program is free software; you can redistribute it and/or modify
-## it under the terms of the GNU General Public License as published by
-## the Free Software Foundation; version 2 of the License.
-##
-## This program is distributed in the hope that it will be useful,
-## but WITHOUT ANY WARRANTY; without even the implied warranty of
-## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-## GNU General Public License for more details.
-##
-## You should have received a copy of the GNU General Public License
-## along with this program; if not, write to the Free Software
-## Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
-##
-
-source src/soc/marvell/bg4cd/Kconfig

src/vendorcode/Kconfig

@@ -1,3 +0,0 @@
-source src/vendorcode/amd/Kconfig
-source src/vendorcode/google/Kconfig
-source src/vendorcode/intel/Kconfig