Use CyanogenMod's devtree tool.