> And yet the FSF went to great lengths to permit it in some cases (the business use exception)

I don't see that the language of GPLv3 actually permits it. Since a number of people (myself included) believe that GPLv2 didn't permit tivoization of any devices whatsoever, GPLv3 is no different as far as products that don't qualify as "user products" are concerned.