If that was the case, why not advertise it as having no GPL licensed userland components? They way it's worded sounds more like they have something against the GNU organization.

And the linux kernel itself is licensed as GPLv2, so they aren't avoiding the GPL completely.