CyanogenMod build system & kernel config files