Use CyanogenMod's devetree tool