There's free choice for those OSes to use different kernels, but they don't, they all use the same Linux (rather than say BSD). There's a lot of advantage in getting aligned on things, even though anyone can choose not to.

It is true that Linux-based distributions have this thing in common: the Linux kernel. There have been some GNU/Hurd variants though...