I don't see the connection. The Linux kernel being under GPL means manufacturers had to release source code for their devices. Where does the userspace come in?

Do OpenWRT and the like even use GNU userspace tools? I would assume they use Busybox.