Pinmux gives wrong pin names on Duo S

[NatTuck]

The GPIO pins are numbered GP0 through GP27, which is awfully hard to map to the pinout diagram for the Duo S.

This image:

root@duos:~# duo-pinmux -l       
GP0 function:
[ ] JTAG_TDI
[v] UART1_TX
[ ] UART2_TX
[ ] GP0
[ ] IIC0_SCL
[ ] WG0_D0
[ ] DBG_10

GP1 function:
[ ] JTAG_TDO
[v] UART1_RX
[ ] UART2_RX
[ ] GP1
[ ] IIC0_SDA
[ ] WG0_D1
[ ] WG1_D0
[ ] DBG_11

Milk-V default image:

[root@milkv-duo]~# duo-pinmux -l
A16 function:
[v] UART0_TX
[ ] CAM_MCLK1
[ ] PWM_4
[ ] A16
[ ] UART1_TX
[ ] AUX1
[ ] DBG_6

A17 function:
[v] UART0_RX
[ ] CAM_MCLK0
[ ] PWM_5
[ ] A17
[ ] UART1_RX
[ ] AUX0
[ ] DBG_7

[NatTuck]

Looks like the duos version is at

https://github.com/milkv-duo/duo-pinmux/tree/main/duos