Kernel for Samsung SCHI519