stm32mp: stm32prog: replace alias by serial device sequence number