ARM: ux500: delete pointless DT config option