Index: kernel/arch/ia32/src/boot/boot.S
===================================================================
--- kernel/arch/ia32/src/boot/boot.S	(revision c22531fc62cd27d622d0595337655d0ea0e4fbc1)
+++ kernel/arch/ia32/src/boot/boot.S	(revision 6d8c4654bf3953c7eb9e51a4a38c81bb83ee9148)
@@ -2,4 +2,5 @@
  * Copyright (c) 2001 Jakub Jermar
  * Copyright (c) 2005 Martin Decky
+ * Copyright (c) 2011 Martin Sucha
  * All rights reserved.
  *