Re: [Uboot-stm32] [PATCH] stm32mp: correctly handle board_get_usable_ram_top(0)