# CONFIG_SOC_TI is not set