binmunge: allow an _BOOT

diff --git a/Kernel/tools/binmunge.c b/Kernel/tools/binmunge.c
index 5b82d53..685c35d 100644 (file)
--- a/Kernel/tools/binmunge.c
+++ b/Kernel/tools/binmunge.c
@@ -146,6 +146,8 @@ int stub_code(char *name)
     return 1;
   if(strcmp(name, "_DISCARD") == 0)
     return 1;
+  if(strncmp(name, "_BOOT", 5) == 0)
+    return 1;
   /* Data */
   if(strcmp(name, "_INITIALIZER") == 0)
     return 0;