Kernel for CyanogenMod 11 normandy