diff --git a/static/releases.html b/static/releases.html
index 5bddf301..5d25b21c 100644
--- a/static/releases.html
+++ b/static/releases.html
@@ -391,9 +391,9 @@
use slightly different accent color for the device theme
add carrier-specific visual voicemail configurations to Dialer app
Vanadium: update Chromium base to 87.0.4280.141
- use UTC for kernel timestamp to make reproducible builds easier
- update toybox prebuilt for various fixes including for the date command
- apply upstream patch avoiding truncation of kernel debug symbol names generated when using Clang type-based CFI
+ kernel (Pixel 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4, Pixel 4 XL, Pixel 4a): use UTC for kernel timestamp to make reproducible builds easier
+ kernel (Pixel 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4, Pixel 4 XL, Pixel 4a): update toybox prebuilt for various fixes including for the date command
+ kernel (Pixel 3, Pixel 3 XL, Pixel 3a, Pixel 3a XL, Pixel 4, Pixel 4 XL, Pixel 4a): apply upstream patch avoiding truncation of kernel debug symbol names generated when using Clang type-based CFI
-->