If not, I'm not certain that waivers their obligation to distribute the source code, at least when requested. In which case they could just link to Linux' own website.