[PATCH] stm32mp: Fix board_get_usable_ram_top()