i#1551 Port DynamoRIO to ARM: fix release build error on arm/mangle.c

Review-URL: https://codereview.appspot.com/183590043