ARM: dts: ux500: use the GPIO DT header