diff --git a/static/build.html b/static/build.html
index 66ee9cf7..b5252991 100644
--- a/static/build.html
+++ b/static/build.html
@@ -252,10 +252,10 @@ git am ../*.patch</pre>
 
             <p>The kernel needs to be built in advance, since it uses a separate build system.</p>
 
-            <p>For the Pixel 3 and Pixel 3 XL, the kernel repository uses submodules for building
-            in out-of-tree modules. You need to make sure the submodule sources are updated before
-            building. In the future, this should end up being handled automatically by
-            <code>repo</code>.</p>
+            <p>For the Pixel 3, Pixel 3 XL, Pixel 3a and Pixel 3a XL, the kernel repository uses
+            submodules for building in out-of-tree modules. You need to make sure the submodule
+            sources are updated before building. In the future, this should end up being handled
+            automatically by <code>repo</code>.</p>
 
             <p>For example, to build the kernel for blueline:</p>