Merge change 9395

* changes:
  Stage 3 of Thumb2 support. armv7-a now generates vfp code inline.