Re: [Uboot-stm32] [PATCH] stm32mp: Reserve OPTEE area in EFI memory map