CONFIG_ARCH_BCM2709=y
# CONFIG_ARM_LPAE is not set
# CONFIG_ARM_THUMBEE is not set
CONFIG_ARM_ARCH_TIMER_EVTSTREAM=y
CONFIG_BCM2708_NOL2CACHE=y
# CONFIG_BCM2709_DT is not set
# CONFIG_CRYPTO_SHA1_ARM_NEON is not set
# CONFIG_CRYPTO_SHA512_ARM_NEON is not set
CONFIG_HAVE_ARM_ARCH_TIMER=y
CONFIG_KERNEL_MODE_NEON=y
CONFIG_MACH_BCM2709=y
CONFIG_NEON=y
CONFIG_NR_CPUS=4
CONFIG_SMP=y
CONFIG_SMP_ON_UP=y
# CONFIG_THUMB2_KERNEL is not set
CONFIG_VMSPLIT_2G=y
