Bug 772793: Fix thumb2 compilation. There was a slight issue with my last merge.
Bug 772793: Fix thumb2 compilation. There was a slight issue with my last merge.

This is building cleanly in the sandbox now which is supporting thumb2 compilation and test

{{mercurial 7f1d76b79f7744d923b7287fee24d622bc0da399}}

CL@1089170

pnkfelix/tamarin-redux,pnkfelix/tamarin-redux,pfgenyun/tamarin-redux,pfgenyun/tamarin-redux,pnkfelix/tamarin-redux,pnkfelix/tamarin-redux,pnkfelix/tamarin-redux,pfgenyun/tamarin-redux,pfgenyun/tamarin-redux,pnkfelix/tamarin-redux,pfgenyun/tamarin-redux,pfgenyun/tamarin-redux,pfgenyun/tamarin-redux,pfgenyun/tamarin-redux,pnkfelix/tamarin-redux