Index: grub/grub-core/loader/i386/xnu.c
===================================================================
--- grub.orig/grub-core/loader/i386/xnu.c	2012-02-04 14:44:04.022918008 -0600
+++ grub/grub-core/loader/i386/xnu.c	2012-02-04 14:44:36.726267000 -0600
@@ -1003,7 +1003,7 @@ grub_xnu_boot (void)
 
   if (debug && (grub_strword (debug, "all") || grub_strword (debug, "xnu")))
     {
-      grub_printf (_("Press any key to launch xnu\n"));
+      grub_printf ("%s", _("Press any key to launch xnu\n"));
       grub_getkey ();
     }