Support for v7m concurrency primatives

Adds support for ldrex/strex synchronisation instructions for the v7m architecture and implements a simple mutex using these primitives.