Index: kernel/arch/ia32/src/boot/boot.S
===================================================================
--- kernel/arch/ia32/src/boot/boot.S	(revision f9d8c3a1a429f15c579ef46dabfedf9f4eda1b34)
+++ 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.
  *