Add missing u8500 hardware repo

Change-Id: If64f726ca674cc07c86518f2966b6a7cc9273749