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