Use CyanogenMod kernel source