[PATCH v4 26/27] stm32mp: compute ram_top based on the optee base address