Refactored a bunch of stuff to clean up the code.
Switched the order of semaphores/mutexes so that the legacy mutexes come first; this makes it easier
to integrate with the eChronos shim build of 'flight'.
Merge branch 'master' of https://github.com/smaccm/smaccm