Index: boot/arch/arm32/src/mm.c
===================================================================
--- boot/arch/arm32/src/mm.c	(revision efb9fd0817dd86f59aee7c1c554279f4cef14c8c)
+++ boot/arch/arm32/src/mm.c	(revision 68a2fab2ab2d3ec0dea8f871618b22275c912434)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *