--- a/arch/arm/Kconfig	2015-11-17 02:29:51.000000000 +0100
+++ b/arch/arm/Kconfig	2015-11-25 11:12:36.541154689 +0100
@@ -741,10 +741,6 @@ source "arch/arm/imx-common/Kconfig"
 source "board/BuR/kwb/Kconfig"
 source "board/BuR/tseries/Kconfig"
 source "board/CarMediaLab/flea3/Kconfig"
-source "board/Marvell/aspenite/Kconfig"
-source "board/Marvell/db-88f6820-gp/Kconfig"
-source "board/Marvell/db-mv784mp-gp/Kconfig"
-source "board/Marvell/gplugd/Kconfig"
 source "board/armadeus/apf27/Kconfig"
 source "board/armltd/vexpress/Kconfig"
 source "board/armltd/vexpress64/Kconfig"
--- a/arch/arm/mach-kirkwood/Kconfig	2015-11-25 11:12:36.542154670 +0100
+++ b/arch/arm/mach-kirkwood/Kconfig	2015-11-25 11:13:01.452700046 +0100
@@ -54,10 +54,6 @@ endchoice
 config SYS_SOC
 	default "kirkwood"
 
-source "board/Marvell/openrd/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"