It's not immaterial, it's literally the point of the GPL. If they don't want to release their modifications they shouldn't take advantage of the huge effort tha

It's not immaterial, it's literally the point of the GPL. If they don't want to release their modifications they shouldn't take advantage of the huge effort that went into the linux kernel. Maybe use a different OS and license it..