CONFIG_ARM64=y
CONFIG_64BIT=y
CONFIG_KERNEL_MODE_NEON=y
CONFIG_ARCH_BCM=y
CONFIG_ARCH_BCM2835=y
CONFIG_ARCH_BRCMSTB=y
CONFIG_SOC_BRCMSTB=y
CONFIG_NR_CPUS=4
CONFIG_KUSER_HELPERS=y
CONFIG_COMPAT_32BIT_TIME=y
CONFIG_RASPBERRYPI_FIRMWARE=y
CONFIG_BRCM_CHAR_DRIVERS=y
CONFIG_BCM2708_VCMEM=y
CONFIG_BCM_VCIO=y
CONFIG_BCM_VIDEOCORE=y
CONFIG_BCM2835_VCHIQ=y
