Kernel for Samsung Galaxy S 4 (GT-I9500)