Haven't they merged the "android kernel" into the linux kernel recently?