Samsung stock ICS kernel