kernel: allow AOSP repo to build CyanogenMod