Fix build in u8500 Devices

Change-Id: I7bbc57a0998593aaf5cfb82f2b3459629114ddd8