CONFIG_CPU_V6=y
CONFIG_CPU_V6K=y
CONFIG_CPU_V7=y
-CONFIG_DEBUG_USER=y
-# CONFIG_DEBUG_LL_UART_NONE is not set
# CONFIG_DEBUG_ICEDCC is not set
-CONFIG_DEBUG_REALVIEW_STD_PORT=y
+# CONFIG_DEBUG_LL_UART_NONE is not set
# CONFIG_DEBUG_REALVIEW_PB1176_PORT is not set
+CONFIG_DEBUG_REALVIEW_STD_PORT=y
+CONFIG_DEBUG_USER=y
CONFIG_DMA_CACHE_RWFO=y
CONFIG_DNOTIFY=y
CONFIG_FB=y