# CONFIG_SOC_DRA7XX is not set