Use CyanogenMod Kernel source