Android kernel patches (3.10)