Re: [PATCH 08/11] configs: stm32mp1: remove optee defconfig