Moved 83xx platform Kconfig over to being sourced by the unified
arch/powerpc/platforms/Kconfig.
Signed-off-by: Kumar Gala <galak@kernel.crashing.org>
 source arch/powerpc/platforms/embedded6xx/Kconfig
 source arch/powerpc/platforms/4xx/Kconfig
 source arch/powerpc/platforms/82xx/Kconfig
-source arch/powerpc/platforms/83xx/Kconfig
 source arch/powerpc/platforms/85xx/Kconfig
 source arch/powerpc/platforms/8xx/Kconfig
 
 
-menu "Platform support"
-       depends on PPC_83xx
-
 choice
        prompt "Machine Type"
+       depends on PPC_83xx
        default MPC834x_MDS
 
 config MPC8313_RDB
        select PPC_UDBG_16550
        select PPC_INDIRECT_PCI
        default y if MPC836x_MDS
-
-endmenu
 
 menu "Platform support"
-       depends on PPC64 || CLASSIC32 || PPC_86xx
+       depends on PPC64 || CLASSIC32 || PPC_83xx || PPC_86xx
 
 choice
        prompt "Machine type"
 source arch/powerpc/platforms/celleb/Kconfig
 source arch/powerpc/platforms/ps3/Kconfig
 source arch/powerpc/platforms/cell/Kconfig
+source "arch/powerpc/platforms/83xx/Kconfig"
 source "arch/powerpc/platforms/86xx/Kconfig"
 
 config PPC_NATIVE