Re: [PATCH v2] stm32mp: Reserve OPTEE area in EFI memory map