Platform tree: rename gpio ports from 'PortX' into just 'x'