From: Justin M. Forbes on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1408#note_8023...
With the new push, we end up with:
kernel-aarch64-debug-rhel.config
```
CONFIG_DEVMEM=y
# CONFIG_IO_STRICT_DEVMEM is not set
# CONFIG_STRICT_DEVMEM is not set
```
kernel-aarch64-rhel.config
```
# CONFIG_DEVMEM is not set
# CONFIG_IO_STRICT_DEVMEM is not set
# CONFIG_STRICT_DEVMEM is not set
```