I don’t suppose they’re modifying much of the GPL’d kernel necessarily. That’s the part protected by GPL.

Their own actual distro is not exactly a modification of GPL software. And if they modify GPL software, they wouldn’t have issues providing source code to that.