[PATCH 4/4] stm32mp: stm32prog: replace alias by serial device sequence number