fix

patchfinder64.m

@@ -504,6 +504,8 @@ static int DecodeMov(uint32_t opcode, uint64_t total, int first, uint64_t *newva
 static void *Kernel_mh = 0;
 static addr_t Kernel_delta = 0;
 
+static uint32_t magic = 0;
+
 int
 InitPatchfinder(addr_t base, const char *filename)
 {
@@ -520,8 +522,7 @@ static int DecodeMov(uint32_t opcode, uint64_t total, int first, uint64_t *newva
     if (fd < 0) {
         return -1;
     }
-
-    uint32_t magic = 0;
+
     read(fd, &magic, 4);
     if (magic == 0xbebafeca) {
         lseek(fd, 28, SEEK_SET); // kerneldec gives a FAT binary for some reason
@@ -665,6 +666,8 @@ static int DecodeMov(uint32_t opcode, uint64_t total, int first, uint64_t *newva
         q = q + cmd->cmdsize;
     }
 
+    if (magic == 0xbebafeca) Kernel += 28;
+
     close(fd);
 
     (void)base;
@@ -674,6 +677,7 @@ static int DecodeMov(uint32_t opcode, uint64_t total, int first, uint64_t *newva
 void
 TermPatchfinder(void)
 {
+    if (magic == 0xbebafeca) Kernel -= 28;
     free(Kernel);
 }