Re: [PATCH 1/1] doc: fix board/openpiton/riscv64.rst