CyanogenMod developement (device tree) for the Samsung Galaxy Player 4.2 US