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