ARM: 6088/1: ux500: use UX500_* macros instead of U8500_*