The SELinux file system is mounted under /sys, so we should move it to the sysfs service instead of procfs. @selinux: I will provide a patch to do this, please test and report back whether it works.
Created attachment 401060 [details, diff] 0001-Move-SELinux-mount-to-sysfs-service.patch @selinux: Here is the patch against master that will move the selinux mounting code to the sysfs service. Please test and let me know if this works.
Jason looked over this patch a couple of days ago and told me it should be fine, so it is added in commit 62addf1.