fix the 8K number

from the upstream source:
/** Default `buffer_hint` value. */

diff --git a/doc/arm/Bv9ARM-book.xml b/doc/arm/Bv9ARM-book.xml
index 074860b6acb70f7602de90bd67eaf6849d2bd379..4d09d89cc671510731671a30d5f32cf4afdf03ed 100644 (file)
--- a/doc/arm/Bv9ARM-book.xml
+++ b/doc/arm/Bv9ARM-book.xml
@@ -4890,7 +4890,7 @@ badresp:1,adberr:0,findfail:0,valfail:0]
                    <command>fstrm-set-buffer-hint</command>: The
                    threshold number of bytes to accumulate in the output
                    buffer before forcing a buffer flush. The minimum is
-                   1024, the maximum is 65536, and the default is 8096.
+                   1024, the maximum is 65536, and the default is 8192.
                  </simpara>
                </listitem>
                <listitem>