BoardConfig: make SELinux permissive