Stallman has absolutely no say about what makes Linux. His tools, though important to the free software movement, are not necessary to create a Linux distribution.
There is NO GNU/Linux. Stallman doesn't get to name or claim ownership of someone else's baby. It's Linux, so named by its creator.