# CONFIG_AFS_FS is not set
# CONFIG_AF_RXRPC is not set
# CONFIG_AGP is not set
+# CONFIG_AHCI_MVEBU is not set
CONFIG_AIO=y
# CONFIG_AIRO is not set
# CONFIG_AIRO_CS is not set
# CONFIG_ARM_ARCH_TIMER is not set
# CONFIG_ARM_AT91_ETHER is not set
# CONFIG_ARM_CCI is not set
+# CONFIG_ARM_CCN is not set
CONFIG_ARM_CPU_TOPOLOGY=y
CONFIG_ARM_DMA_MEM_BUFFERABLE=y
# CONFIG_ARM_ERRATA_326103 is not set
CONFIG_GENERIC_HARDIRQS=y
CONFIG_GENERIC_HWEIGHT=y
CONFIG_GENERIC_IRQ_PROBE=y
+CONFIG_GENERIC_NET_UTILS=y
# CONFIG_GENERIC_PHY is not set
CONFIG_GENERIC_TIME=y
# CONFIG_GENWQE is not set