ARM MMU related unit test code