Kernel for Samsung GT-S7580