GPL enforcement is a lot of work with expensive lawyers and made harder when you are not the copyright holder.
hint: this is why the FSF require copyright assignment for their project. But they have barely any on the Linux kernel, the principal matter in the Android source code.
Surely if they can find one part of the Linux kernel that the FSF has copyright to, then that opens the floodgates, and the full (legal) weight and force of the FSF can stand behind this? So so long as they have one part, they can fight this.
The FSF rarely engage in enforcement action themselves, even on works they hold copyright on. The Linux kernel has probably been more actively enforced than any GNU project, with the possible exception of gcc.
hint: this is why the FSF require copyright assignment for their project. But they have barely any on the Linux kernel, the principal matter in the Android source code.