In the end, the only way to prevent users from running non GPL
    software

Is there anyone here who actually proposes to prevent users from
running non-GPL-covered software?  Not I.  I frequently run OpenSSH,
whose license is not the GNU GPL, and is incompatible with the GPL (if
my memory serves).  It is free software, so why not use it?

Is there anyone here who actually proposes to prevent users from
running non-free software?  Not I.  I think that software is
unethical, and I refuse to install it, or suggest it to anyone.  But I
have not proposed that systems actually block its installation.

If no one is in favor, why argue against?