samsung gsm family: set ro.telephony.default_network=9
Merge remote-tracking branch 'upstream/cm-10.1' into HEAD