diff --git a/site/docs/install/t480.md b/site/docs/install/t480.md
index 81245f1..5ed2250 100644
--- a/site/docs/install/t480.md
+++ b/site/docs/install/t480.md
@@ -429,8 +429,7 @@ as a DisplayPort).
 Thunderbolt, but be warned: it is completely untested, as of Libreboot 20241206.
 This patch is *NOT* included in the release, because it breaks on S3 resume,
 and may cause a kernel panic. Also: currently testing only reveals that the
-ThunderBolt controller shows up, and it was confirmed that USB devices do
-work on the port, but everything else is UNTESTED.
+ThunderBolt controller shows up.
 
 You also need the [gerrit patch](https://review.coreboot.org/c/coreboot/+/75286)
 adding a Thunderbolt driver to coreboot.