config: clean up SELinux options