Index: /trunk/source/lisp-kernel/arm-spentry.s
===================================================================
--- /trunk/source/lisp-kernel/arm-spentry.s	(revision 15122)
+++ /trunk/source/lisp-kernel/arm-spentry.s	(revision 15123)
@@ -2908,5 +2908,7 @@
         __(add sp,sp,#dnode_size)
         __(ldmia sp!,{r0,r1,r2,r3})
-        __(blx r4) 
+        __(blx r4)
+        __(adr temp1,1f)
+        __(fldd double_float_zero,[temp1])
         __(mov temp1,#0)
         __(mov temp2,#0)
@@ -2925,5 +2927,7 @@
         __(check_pending_interrupt(temp2))
         __(bx lr)
-        
+        .align 3
+1:      .long 0
+        .long 0