Comment by charcircuit

They have been been upstreaming patches to the kernel. In fact Android works with a stock Linux kernel now.