Fix Doxygen headers for MPS files

Signed-off-by: Hanno Becker <hanno.becker@arm.com>
diff --git a/library/mps_trace.h b/library/mps_trace.h
index d94ceb9..048d573 100644
--- a/library/mps_trace.h
+++ b/library/mps_trace.h
@@ -18,7 +18,7 @@
  */
 
 /**
- * \file trace.h
+ * \file mps_trace.h
  *
  * \brief Tracing module for MPS
  */