Adding more SELinux permissions
Disabling scissors optimisation for the SGX540