Index: trunk/i386/boot2/boot.c
===================================================================
--- trunk/i386/boot2/boot.c	(revision 1430)
+++ trunk/i386/boot2/boot.c	(revision 1431)
@@ -602,7 +602,7 @@
 				bootFile = gBootKernelCacheFile;
 			}
 			else {
-				sprintf(bootFile, "\%s", bootInfo->bootFile);
+				sprintf(bootFile, "/%s", bootInfo->bootFile);
 			}
 			
 			// Try to load kernel image from alternate locations on boot helper partitions.