Remove duplicate text

src/hypervisor.adoc

@@ -188,13 +188,6 @@ If HSXLEN is changed from 32 to a wider width, and if field VSXL is not
 restricted to a single value, it gets the value corresponding to the
 widest supported width not wider than the new HSXLEN.
 
-If the Svukte extension is implemented, the HUKTE field determines
-whether the HLV, HLVX, and HSV instructions, when executed in U-mode,
-are Svukte-qualified.
-When one of these instructions is executed in U-mode, it behaves as though
-`senvcfg`.UKTE were set to the value of HUKTE.
-If Svukte is not implemented, HUKTE is read-only zero.
-
 The `hstatus` fields VTSR, VTW, and VTVM are defined analogously to the
 `mstatus` fields TSR, TW, and TVM, but affect execution only in VS-mode,
 and cause virtual-instruction exceptions instead of illegal-instruction
@@ -659,12 +652,12 @@ The definition of the CBZE field is furnished by the Zicboz extension.
 
 The definitions of the CBCFE and CBIE fields are furnished by the Zicbom extension.
 
-If the Svkt extension is implemented, the HUVKT field determines
+If the Svukte extension is implemented, the HUKTE field determines
 whether the HLV, HLVX, and HSV instructions, when executed in U-mode,
-are Svkt-qualified.
+are Svukte-qualified.
 When one of these instructions is executed in U-mode, it behaves as though
-`senvcfg`.SVKT were set to the value of HUVKT.
-If Svkt is not implemented, HUVKT is read-only zero.
+`senvcfg`.UKTE were set to the value of HUKTE.
+If Svukte is not implemented, HUKTE is read-only zero.
 
 The definition of the PMM field is furnished by the Ssnpm extension.