# CONFIG_SOC_VF610 is not set