[coreboot-gerrit] Patch merged into coreboot/master: ceae968 Fix some minor Kconfig issues

the following patch was just integrated into master:
commit ceae968e2cc3d9318c70e34a5424080f9f345eea
Author: Martin Roth 
Date:   Sun Apr 26 11:53:40 2015 -0600

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 
    Reviewed-on: http://review.coreboot.org/9998
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

See http://review.coreboot.org/9998 for details.

-gerrit