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