Index: u-boot-2014.10-rc1/arch/arm/Kconfig
===================================================================
--- u-boot-2014.10-rc1.orig/arch/arm/Kconfig
+++ u-boot-2014.10-rc1/arch/arm/Kconfig
@@ -545,9 +545,6 @@ source "board/BuR/tseries/Kconfig"
 source "board/BuS/eb_cpux9k2/Kconfig"
 source "board/BuS/vl_ma2sc/Kconfig"
 source "board/CarMediaLab/flea3/Kconfig"
-source "board/Marvell/aspenite/Kconfig"
-source "board/Marvell/dkb/Kconfig"
-source "board/Marvell/gplugd/Kconfig"
 source "board/afeb9260/Kconfig"
 source "board/altera/socfpga/Kconfig"
 source "board/armadeus/apf27/Kconfig"
Index: u-boot-2014.10-rc1/arch/arm/cpu/arm926ejs/kirkwood/Kconfig
===================================================================
--- u-boot-2014.10-rc1.orig/arch/arm/cpu/arm926ejs/kirkwood/Kconfig
+++ u-boot-2014.10-rc1/arch/arm/cpu/arm926ejs/kirkwood/Kconfig
@@ -67,12 +67,6 @@ config SYS_SOC
 	string
 	default "kirkwood"
 
-source "board/Marvell/openrd/Kconfig"
-source "board/Marvell/mv88f6281gtw_ge/Kconfig"
-source "board/Marvell/rd6281a/Kconfig"
-source "board/Marvell/dreamplug/Kconfig"
-source "board/Marvell/guruplug/Kconfig"
-source "board/Marvell/sheevaplug/Kconfig"
 source "board/buffalo/lsxl/Kconfig"
 source "board/cloudengines/pogo_e02/Kconfig"
 source "board/d-link/dns325/Kconfig"
Index: u-boot-2014.10-rc1/arch/powerpc/cpu/74xx_7xx/Kconfig
===================================================================
--- u-boot-2014.10-rc1.orig/arch/powerpc/cpu/74xx_7xx/Kconfig
+++ u-boot-2014.10-rc1/arch/powerpc/cpu/74xx_7xx/Kconfig
@@ -37,8 +37,6 @@ config TARGET_P3MX
 
 endchoice
 
-source "board/Marvell/db64360/Kconfig"
-source "board/Marvell/db64460/Kconfig"
 source "board/eltec/elppc/Kconfig"
 source "board/esd/cpci750/Kconfig"
 source "board/evb64260/Kconfig"