[PATCH v2 01/10] riscv: Adjust board_get_usable_ram_top() for 32-bit