corrected minor errors in TRACE_AXI support
updated comments to reflect correct invocation of TRACE_AXI