Right, but his concern about security is not just to restrict how you use your computer, but to try to keep it safe in a manageable way. However, the current s

Right, but his concern about security is not just to restrict how you use your computer, but to try to keep it safe in a manageable way. However, the current state of guarantees around it is not at the point where Turing-completeness is the biggest issue. You can have a simple config, but the rest of the system is still unverifyiable and running unknown blobs. I think the reasonable way out of it is through restricted capabilities. We won't get a fully verifyiable system we can inspect anytime soon. Probably not before the dark days of mandatory and somewhat provable ad impressions.