switching.social
As far as I know, no.
Kobo is a "least worst" alternative, which is unfortunately a very common phenomenon when it comes to hardware.
The GPL version of Cervantes was mentioned in this thread and earlier threads, but it doesn't seem to be available any more.
Bobinas P4G is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All Bobinas P4G content and data are available under the Creative Commons Attribution 3.0 license.