@mxk are you sure?
I mean, sure, Google will ensure kernel <-> Android Userland will work.
But how hard is it for Android vendors that have huge kernel patches applied to support the hardware? Patches never upstreamed? Patches from a BSP that the chip vendor maybe never forward ported to support newer kernels and/or android versions?