Thumb support for the RaspberryPI target.

Thumb support for the RaspberryPI target.