small modification to configure pinmux