[PATCH v2 26/32] stm32mp: compute ram_top based on the optee base address