Stock kernel from Samsung Update 11