custom samsung s4 mini kernel for aosp roms. based on cyanogenmod 10.2 kernel.