Index: kernel/arch/ppc32/src/drivers/cuda.c
===================================================================
--- kernel/arch/ppc32/src/drivers/cuda.c	(revision 3dea17f5a2dc97de65bf1ff23eb43f3621665af4)
+++ kernel/arch/ppc32/src/drivers/cuda.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Martin Decky
+ * Copyright (c) 2006 Martin Decky
  * All rights reserved.
  *
Index: kernel/arch/ppc32/src/drivers/pic.c
===================================================================
--- kernel/arch/ppc32/src/drivers/pic.c	(revision 3dea17f5a2dc97de65bf1ff23eb43f3621665af4)
+++ kernel/arch/ppc32/src/drivers/pic.c	(revision 718d600fdfac9199250eb98c6d79b18bebb07553)
@@ -1,4 +1,4 @@
 /*
- * Copyright (C) 2006 Ondrej Palkovsky
+ * Copyright (c) 2006 Ondrej Palkovsky
  * All rights reserved.
  *