Apply printf bug workaround, implement setjmp and longjmp for arm