Index: kernel/arch/arm32/include/arch/exception.h
===================================================================
--- kernel/arch/arm32/include/arch/exception.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/exception.h	(revision 541eb6711e702163c081ab4953f767caeb2cbe9a)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Michal Kebrt, Petr Stepan
+ * Copyright (c) 2007 Michal Kebrt
+ * Copyright (c) 2007 Petr Stepan
  *
  * All rights reserved.
Index: kernel/arch/arm32/include/arch/istate.h
===================================================================
--- kernel/arch/arm32/include/arch/istate.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/istate.h	(revision 541eb6711e702163c081ab4953f767caeb2cbe9a)
@@ -1,5 +1,5 @@
 /*
- * Copyright (c) 2007 Michal Kebrt, Petr Stepan
- *
+ * Copyright (c) 2007 Michal Kebrt
+ * Copyright (c) 2007 Petr Stepan
  * All rights reserved.
  *
Index: kernel/arch/arm32/include/arch/mm/as.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/as.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/as.h	(revision 541eb6711e702163c081ab4953f767caeb2cbe9a)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/include/arch/mm/asid.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/asid.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/asid.h	(revision 541eb6711e702163c081ab4953f767caeb2cbe9a)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/include/arch/mm/frame.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/frame.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/frame.h	(revision 541eb6711e702163c081ab4953f767caeb2cbe9a)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/include/arch/mm/page.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/page.h	(revision 541eb6711e702163c081ab4953f767caeb2cbe9a)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/include/arch/mm/page_armv4.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_armv4.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/page_armv4.h	(revision 541eb6711e702163c081ab4953f767caeb2cbe9a)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * Copyright (c) 2012 Jan Vesely
  * All rights reserved.
Index: kernel/arch/arm32/include/arch/mm/page_fault.h
===================================================================
--- kernel/arch/arm32/include/arch/mm/page_fault.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/mm/page_fault.h	(revision 541eb6711e702163c081ab4953f767caeb2cbe9a)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *
Index: kernel/arch/arm32/include/arch/types.h
===================================================================
--- kernel/arch/arm32/include/arch/types.h	(revision 219c5302a8e32d74160ae65c1fbfa490273226d9)
+++ kernel/arch/arm32/include/arch/types.h	(revision 541eb6711e702163c081ab4953f767caeb2cbe9a)
@@ -1,4 +1,5 @@
 /*
- * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
+ * Copyright (c) 2007 Pavel Jancik
+ * Copyright (c) 2007 Michal Kebrt
  * All rights reserved.
  *