Cherry-pick 7fb4cc from master. do not merge.
Build SDK with the new location for the system image.
Change-Id: Ic632d4ef87171fd4ed3e1a5bed9693fb402065c0
diff --git a/sdk/images_x86_source.properties b/sdk/images_x86_source.properties
new file mode 100644
index 0000000..199f5c5
--- /dev/null
+++ b/sdk/images_x86_source.properties
@@ -0,0 +1,7 @@
+Pkg.Desc=Android SDK Platform 4.0
+Pkg.UserSrc=false
+Platform.Version=4.0
+Pkg.Revision=1
+AndroidVersion.ApiLevel=14
+SystemImage.Abi=x86
+#AndroidVersion.CodeName=