diff --git a/static/build.html b/static/build.html
index 885a0e2a..d7ebed89 100644
--- a/static/build.html
+++ b/static/build.html
@@ -371,6 +371,9 @@ cd ../..</pre>
 
             <p>The kernel needs to be built in advance, since it uses a separate build system.</p>
 
+            <p>Prebuilts are provided for the Pixel 4 and 4 XL, so this step is optional for
+            those. This will be done for the other devices in the future.</p>
+
             <p>List of kernels corresponding to officially supported devices:</p>
 
             <ul>