diff --git a/ChangeLog b/ChangeLog
index ccd6c0a5e..3ca1fed34 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2013-03-01  Vladimir Serbinenko  <phcoder@gmail.com>
+
+	* grub-core/loader/i386/pc/linux.c (grub_cmd_linux): Fix compilation
+	for 64-bit platforms.
+
 2013-03-01  Vladimir Serbinenko  <phcoder@gmail.com>
 
 	* grub-core/disk/efi/efidisk.c: Transform iterate_child_devices into
diff --git a/grub-core/loader/i386/pc/linux.c b/grub-core/loader/i386/pc/linux.c
index 39206c804..3ce21bc2b 100644
--- a/grub-core/loader/i386/pc/linux.c
+++ b/grub-core/loader/i386/pc/linux.c
@@ -231,8 +231,9 @@ grub_cmd_linux (grub_command_t cmd __attribute__ ((unused)),
     }
 
   grub_dprintf ("linux", "[Linux-%s, setup=0x%x, size=0x%x]\n",
-		grub_linux_is_bzimage ? "bzImage" : "zImage", real_size,
-		grub_linux16_prot_size);
+		grub_linux_is_bzimage ? "bzImage" : "zImage",
+		(unsigned) real_size,
+		(unsigned) grub_linux16_prot_size);
 
   relocator = grub_relocator_new ();
   if (!relocator)