Re: [PATCH] configs: stm32mp1: replace STM32MP1_TRUSTED by TFABOOT