Add CyanogenMod's android_kernel_samsung_smdk4412