CyanogenMod kernel for S4 mini