From: Waiman Long on
gitlab.com
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/2110#note_1142...
Looking at how CONFIG_PTE_MARKER is set, I believe it is a dependent config
variable that is to be set automatically when CONFIG_PTE_MARKER_UFFD_WP is set
which further depends on when CONFIG_USERFAULTFD is set. IOW, I don't believe
you should explicitly set it in redhat/configs. I believe the same is probably
true in cs9 too.