Remove future tense from description of now-ratified text (#1685)

src/machine.adoc

@@ -2230,17 +2230,13 @@ shown in <<mseccfg>>, that controls security features.
 .Machine security configuration (`mseccfg`) register.
 include::images/wavedrom/mseccfg.edn[]
 
-The definitions of the SSEED and USEED fields will be furnished by the
-forthcoming entropy-source extension, Zkr. Their allocations within
-`mseccfg` may change prior to the ratification of that extension.
+The definitions of the SSEED and USEED fields are furnished by the
+entropy-source extension, Zkr.
 
-The definitions of the RLB, MMWP, and MML fields will be furnished by
-the forthcoming PMP-enhancement extension, Smepmp. Their allocations
-within `mseccfg` may change prior to the ratification of that extension.
+The definitions of the RLB, MMWP, and MML fields are furnished by the
+PMP-enhancement extension, Smepmp.
 
-The definition of the PMM field will be furnished by the forthcoming
-Smmpm extension. Its allocation within `mseccfg` may change prior to the
-ratification of that extension.
+The definition of the PMM field is furnished by the Smmpm extension.
 
 The Zicfilp extension adds the `MLPE` field in `mseccfg`. When `MLPE` field is
 1, Zicfilp extension is enabled in M-mode. When the `MLPE` field is 0, the

src/supervisor.adoc

@@ -816,13 +816,10 @@ to implement that we consider it worth supporting even if only rarely
 enabled.
 ====
 
-The definition of the CBZE field will be furnished by the forthcoming
-Zicboz extension. Its allocation within `senvcfg` may change prior to
-the ratification of that extension.
+The definition of the CBZE field is furnished by the Zicboz extension.
 
-The definitions of the CBCFE and CBIE fields will be furnished by the
-forthcoming Zicbom extension. Their allocations within `senvcfg` may
-change prior to the ratification of that extension.
+The definitions of the CBCFE and CBIE fields are furnished by the Zicbom
+extension.
 
 The definition of the PMM field is furnished by the Ssnpm extension.