Device configuration / source for Samsung Galaxy Mini (GT-S5570) CyanogenMod 10