added comments into Makefiles for turning on AXI tracing