Add ARMv7-R MPU Port (#938)

* Apply git review patch created by @aggargr
* Add necessary changes to the CMakeLists.txt file to build the port

.github/scripts/kernel_checker.py

@@ -37,7 +37,8 @@ KERNEL_IGNORED_FILES = [
     'FreeRTOS-openocd.c',
     'Makefile',
     '.DS_Store',
-    'cspell.config.yaml'
+    'cspell.config.yaml',
+    '.clang-format'
 ]
 
 KERNEL_IGNORED_EXTENSIONS = [