Android kernel patches for 3.10