Linux kernel for Samsung GT-S6500(D)