Re: [PATCH v2 4/4] doc: qemu-riscv: Update documentation for QEMU spike machine