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