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