Stock kernel for Samsung Galaxy Express 2