MMU: Simplify tee_mmu_switch function

Replaced direct CP15 instructions with macros instead and removed some
unnecessary code.
Make license terms more explicit

It fixes #37 "README.md is unclear about license"