Index: arch/amd64/src/boot/boot.S
===================================================================
--- arch/amd64/src/boot/boot.S	(revision 65640fefbb56b135a33b91d53c6b87fd88b9f440)
+++ arch/amd64/src/boot/boot.S	(revision 8f00329caf7098cf41c86ae4e096edda0a3858a9)
@@ -165,4 +165,5 @@
 		
 		xorq %rdx, %rdx
+		movq %rdx, %rcx
 		movl 24(%ebx), %esi						# mbi->mods_addr
 		movl 0(%esi), %edx						# mods->mod_start
@@ -172,5 +173,5 @@
 		
 		mods_invalid:
-		movl %ecx, init_size
+		movq %rcx, init_size
 		movq %rdx, init_addr