[PATCH v3 3/3] Documentation: riscv: correct sv57 kernel behavior