Remove SGX from config (use kernel modules now)