PPC32: Remove CONFIG_DCACHE_DISABLE, as it's not all that useful.

The only board that really used this was an preproduction
board with buggy hardware.

arch/ppc/8260_io/Kconfig

@@ -57,14 +57,5 @@ config FCC_QS6612
 	bool "QS6612"
 
 endchoice
-
-comment "Generic MPC8260 Options"
-
-config DCACHE_DISABLE
-	bool "Disable data cache"
-	help
-	  This option allows you to run the kernel with data cache disabled.
-	  Say Y if you experience CPM lock-ups.
-
 endmenu
 

arch/ppc/configs/TQM8260_defconfig

@@ -468,11 +468,6 @@ CONFIG_SCC_CONSOLE=y
 CONFIG_FCC2_ENET=y
 # CONFIG_FCC3_ENET is not set
 
-#
-# Generic MPC8260 Options
-#
-CONFIG_DCACHE_DISABLE=y
-
 #
 # USB support
 #

arch/ppc/configs/est8260_defconfig

@@ -460,11 +460,6 @@ CONFIG_SCC_ENET=y
 #
 CONFIG_SCC_CONSOLE=y
 
-#
-# Generic MPC8260 Options
-#
-# CONFIG_DCACHE_DISABLE is not set
-
 #
 # USB support
 #

arch/ppc/kernel/cpu_setup_6xx.S

@@ -75,11 +75,7 @@ _GLOBAL(__setup_cpu_745x)
 setup_common_caches:
 	mfspr	r11,HID0
 	andi.	r0,r11,HID0_DCE
-#ifdef CONFIG_DCACHE_DISABLE
-	ori	r11,r11,HID0_ICE
-#else
 	ori	r11,r11,HID0_ICE|HID0_DCE
-#endif
 	ori	r8,r11,HID0_ICFI
 	bne	1f			/* don't invalidate the D-cache */
 	ori	r8,r8,HID0_DCI		/* unless it wasn't enabled */