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