Merge of the ARM EH work by David.

See issue #489.
Merge pull request #777 from redstar/armeh

Merge of the ARM EH work by David.