GPL used to be targeted at DEVELOPERS of software - the share and share alike model. These developers would in some cases use the GPL'ed software in locked down devices (many / most android devices are pretty locked down - but developers contribute to a GPL kernel).
So yes, FSF created GPLv3 to focus on USERS freedoms, but the users are not writing the software - so it remains the devs who pick licenses.