Use custom repo for android_device_semc_mango

Change-Id: I7e0fcf706dc996722338e8387e4b79f4b4c655b4