Kernel for GT-i9001 devices