Re: [PATCH 1/2] stm32mp: use device sequence number in boot_instance variable