add i9300 to the smdk4412-common group

Change-Id: Iaa834fa09d88b0080abb536af2251a386e446f6e
Signed-off-by: Dirk Rettschlag <dirk.rettschlag@gmail.com>
Switch to Android 4.3.1

Change-Id: I47f7b292f96a78ca00c692fb110263c18595d54e
Signed-off-by: Dirk Rettschlag <dirk.rettschlag@gmail.com>
manifest: allow syncing devices by their carrier-specific codenames

Currently, devices which are part of a larger family (i.e. jf or d2) are
grouped under their family's codename for syncing. If an uneducated user
is looking to build for the first time, this may lead to annoyances as
they will try to sync with "d2att" as the device name, but the sync will
not work, as repo only recognizes "d2" as a proper device group. This
commit adds support for syncing with the specific device name.

Please let me know if I missed any device families that need similar
treatment.

UPDATE : fix device/sony/common

Signed-off-by: Rohan Mathur <rohanmathur34@gmail.com>
Signed-off-by: Arnav Gupta <championswimmer@aokp.co>

Conflicts:
	default.xml

Change-Id: Id74e01006874ff3a330ef52cb08b2c8fbbbb4756
Merge remote-tracking branch 'upstream/jb-mr2' into jb-mr2

Conflicts:
	default.xml