Samsung Galaxy P51xx / P31xx kernel