Re: [PATCH 3/4] stm32mp15: replace CONFIG_TFABOOT when it is possible