[RFC PATCH] stm32mp1: Replace STM32IMAGE config with TFABOOT_FIP