Kernel Source for Samsung Galaxy S4 Series devices (I9500,I9505)