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.