Index: /trunk/source/lisp-kernel/image.c
===================================================================
--- /trunk/source/lisp-kernel/image.c	(revision 14318)
+++ /trunk/source/lisp-kernel/image.c	(revision 14319)
@@ -77,4 +77,15 @@
           --start;
         }
+        w0 = *start;
+        fulltag = fulltag_of(w0);
+      }
+#endif
+#ifdef ARM
+      if (header_subtag(w0) == subtag_function) {
+        w1 = start[1];
+        if ((w1 >= low) && (w1 < high)) {
+          start[1]=(w1+bias);
+        }
+        start+=2;
         w0 = *start;
         fulltag = fulltag_of(w0);