[PATCH v3 6/7] stm32mp: Increase the reserved memory in board_get_usable_ram_top