[PATCH 1/2] stm32mp: Fix board_get_usable_ram_top()