Tweak ARM assembly to be Thumb-2 compatible