Android patches for the linux kernel