# CONFIG_BCM_VIDEOCORE is not set