[PATCH 1/7] riscv: Adjust board_get_usable_ram_top() for 32-bit