[OpenBIOS] [PATCH] Replace name -> fil

[Olivier Danet]

Because name does not exist !

Signed-off-by: Olivier Danet 
===================================================================
--- kernel/bootstrap.c    (révision 1257)
+++ kernel/bootstrap.c    (copie de travail)
@@ -513,7 +513,7 @@
          if (ret != NULL) {

#ifdef CONFIG_DEBUG_INTERPRETER
-            printk("Including '%s'\n", name );
+            printk("Including '%s'\n", fil);
  #endif
                          srcfilenames[cursrc] = strdup(fil);
              srclines [ cursrc ] = 1;
===================================================================