diff --git a/static/releases.html b/static/releases.html
index 0e951e66..5bddf301 100644
--- a/static/releases.html
+++ b/static/releases.html
@@ -393,6 +393,7 @@
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
-->