# CONFIG_ATH6KL_TRACING is not set