Precisely; Android is a perfect example of why it's meaningful to call it GNU+Linux, because Android+Linux and busybox+Linux (Alpine and some embedded systems) are real things that are really Linux systems, but the userland is actually a pretty big deal.