[PATCH 1/4] stm32mp: compute ram_top based on the optee base address only for STM32MP1