Pinmux now accepts dummy pinset to change port names