CONFIG_ARM_TIMER_SP804=y
CONFIG_ATAGS_PROC=y
CONFIG_AUTO_ZRELADDR=y
-CONFIG_BCMA_POSSIBLE=y
CONFIG_BLK_DEV_RAM=y
CONFIG_BLK_DEV_RAM_COUNT=16
CONFIG_BLK_DEV_RAM_SIZE=4096
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_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
CONFIG_VFP=y
CONFIG_VFPv3=y
CONFIG_XPS=y
-CONFIG_XZ_DEC=y
+CONFIG_XZ_DEC_ARM=y
+CONFIG_XZ_DEC_BCJ=y
CONFIG_ZBOOT_ROM_BSS=0x0
CONFIG_ZBOOT_ROM_TEXT=0x0