Added support for ARM kernels enforcing read-only memory