arch/arm/mach-loki/Kconfig

if ARCH_LOKI

menu "Marvell Loki (88RC8480) Implementations"

config MACH_LB88RC8480
	bool "Marvell LB88RC8480 Development Board"
	help
	  Say 'Y' here if you want your kernel to support the
	  Marvell LB88RC8480 Development Board.

endmenu

endif