Linux Kernel for Samsung GT-S6500