Use custom repo for android_device_semc_mango

Change-Id: Ieedc37fb43120086aeb679e5da700b6bad6cfb5d