Use CyanogenMod kernel defconfig