configs: stm32mp1: replace STM32MP1_TRUSTED by TFABOOT