CONFIG_ARM64=y CONFIG_ARCH_BCM2835=y CONFIG_BRCM_CHAR_DRIVERS=y CONFIG_BCM2708_VCMEM=y CONFIG_BCM_VCIO=y CONFIG_BCMA=y CONFIG_MAILBOX=y CONFIG_BCM2835_MBOX=y CONFIG_RASPBERRYPI_POWER=y CONFIG_RASPBERRYPI_FIRMWARE=y
