Android device tree for building CyanogenMod 7.2 for the Samsung Galaxy Player 3.6