CyanogenMod 10.1 doubleshot device tree