Added infrastructure for 32-bit thumb2.
Fixed up bug in thumb2 branch