Merge navaro ARM changes into navaro branch.
Merge branch 'navaro' of github.com:kelvinlawson/atomthreads into navaro