Kernel for Samsung Galaxy S4 (GT-I9500)