arm: Add support for M profile CPUs having different MMU index semantics