Index: arch/ia32/src/boot/boot.S
===================================================================
--- arch/ia32/src/boot/boot.S	(revision 6c68b975fa0cd622fb0bc38e292185539102f597)
+++ arch/ia32/src/boot/boot.S	(revision c43fa55776e570818cc110af5b944e2bc0d14546)
@@ -173,4 +173,5 @@
 		movl 4(%esi), %ecx						# mods->mod_end
 		subl %edx, %ecx
+		addl $0x80000000, %edx
 		
 		mods_invalid: