CONFIG_ARCH_HIBERNATION_POSSIBLE=y
CONFIG_ARCH_REQUIRE_GPIOLIB=y
CONFIG_ARCH_SUSPEND_POSSIBLE=y
-CONFIG_BCMA_POSSIBLE=y
CONFIG_BOOT_ELF32=y
CONFIG_CEVT_R4K=y
CONFIG_CEVT_R4K_LIB=y
CONFIG_SYS_SUPPORTS_ZBOOT_UART16550=y
CONFIG_VLYNQ=y
# CONFIG_VLYNQ_DEBUG is not set
-CONFIG_XZ_DEC=y
CONFIG_ZONE_DMA_FLAG=0