This means Signal server must run on Intel CPUs with SGX enabled?