Linux kernel for Samsung GT-S6500(D) and GT-S7500