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