Linux kernel is an implementation detail on Android, not exposed to userspace.

Consumers don't care what kernel runs on their electronics.