diff --git a/doc/user_documentation/powerful_builders.rst b/doc/user_documentation/powerful_builders.rst
index 2f70341b8..43ed8a9ca 100644
--- a/doc/user_documentation/powerful_builders.rst
+++ b/doc/user_documentation/powerful_builders.rst
@@ -43,8 +43,8 @@ two hours on *normal builders*.
 How to request *high-performance builders*
 ------------------------------------------
 
-As of October 2023, we only support *high-performance builders* for ``x86`` and
-``aarch64`` architectures.  Please think carefully (ensure you understand the
+As of October 2023, we only support *high-performance builders* for ``x86``,
+``aarch64`` and ``s390x``.  Please think carefully (ensure you understand the
 previous section) and submit an issue_.  The pattern we have to configure for you
 is basically a Python regexp in a format ``owner/project/chroot/package``, e.g.
 ``@asahi/kernel/.(x86_64|aarch64)/kernel.*``.