IMO: Sure, Librem is running Linux. But that's not so much a positive as its just not a negative. Still missing OpenPGP card, no anti-interdiction services, absolutely no hardening. I've been waiting for years, still missing /major/ app support + now I have to pay for that too.
The distinction isn't really GNU because if a distribution uses musl instead of glibc, Clang / LLD / LLVM binary utilities instead of GCC and binutils, etc. it isn't GNU anymore but could still be a traditional desktop distribution with that approach to package management, etc.
Alpine for example uses musl instead of glibc and BusyBox instead of coreutils but still uses GCC/binutils for now.
Android used GCC/binutils until a few years ago and still hasn't fully moved to LLD for the Linux kernel itself yet but it's almost at the point where that's gone.
Interesting, how would you define the difference between the set of Linux distros and Android? Also - how do I go about ordering with both microphones and acceleration and rotation sensors can removed? Thanks :)