use vfp mnemonics rather than hard-coded opcodes in arm setjmp/longjmp