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