> 'the Linux kernel as implemented by TomTom,' which is very different from 'the Linux kernel'
Linux kernel has a GPLv2 licence. So, any implementation by TomTom is available to others. Which means that TomTom's implementation is potentially everybody's implementation as well.
I'm not sure if the author of this blog entry is naive or uninformed. Or maybe both.