# CONFIG_ADIS16080 is not set