Fix build for u8500 devices