Which is just basically a mix of Chrome and Android, with zero value regarding what kernel is actually being used.

Tomorrow Google could release ChromeOS using another kernel and no one would notice.

The only restriction is that the kernel needs to support the official set of NDK APIs for Android apps.