Use custom repo for android_device_semc_mango

Change-Id: Ic99af73b6a10df0e6f5b1bf7879c5c07071d57ad