Fix link to RISC-V Zkt spec; it was pointing to Zkr#1490

ehuss merged 1 commit intorust-lang:masterrust-lang/reference:masterfrom

jlokier:patch-1jlokier/rust-reference:patch-1Copy head branch name to clipboard