... a bit theoretical, but how is the GPLv3 with the anti-Tivo provision okay?

OSI definition 10: License must not restrict interface, and def. 9. License must not restrict other software it gets distributed with. (So I can't put my encrypted bootloader and verifier into the same thing.)