Even more so users don't care about what kernel their OS is running, nor do they even know what a kernel is.

It's entirely possible for a large enough brand to ship a Linux based desktop OS to mass adoption. It has already been done once with ChromeOS.

Linux will never be the name users remember, and it's not meant to be.