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