kernel source for samsung galaxy s4 mini [I9195] cm10.1 - 3.4.0 cyanogenmod