a custom version of CyanogenMod 11 (KK) kernel