> abuse its customers by denying them control over their devices

That's exactly what tivoization is, so the GPLv3 already prevents that.