diff --git a/HCL.md b/HCL.md
index 181fb9a5..4b1627f9 100644
--- a/HCL.md
+++ b/HCL.md
@@ -45,7 +45,7 @@ Specific systems tested by Qubes core developers
 Specific systems tested by the Qubes community
 ----------------------------------------------
 
--   Fujitsu S751 seems to work well, but requires BIOS update to get VT-d working. Reported by [​Zrubecz Laszlo](https://groups.google.com/forum/#!msg/qubes-devel/xoyNCigBvFE/ER61L6TbVpwJ).
+-   ~~\~ Fujitsu S751 seems to work well, but requires BIOS update to get VT-d working. Reported by [​Zrubecz Laszlo](https://groups.google.com/forum/#!msg/qubes-devel/xoyNCigBvFE/ER61L6TbVpwJ).~~\~ [​Apparently not with the newer Xen we have in Qubes 1.0-rc...](https://groups.google.com/d/msg/qubes-devel/JIpZoQUP6dQ/VkhxqAbfwkIJ)
 -   Sony Vaio Z2 (2011 edition) works fine but requires some BIOS mod to enable VT-d. Reported by [​Danny Fullerton](https://groups.google.com/d/msg/qubes-devel/xoyNCigBvFE/fkC6em-Wqd0J).
 -   Lenovo Thinkpad W510 with core I7 Q820, with proprietary Nvidia driver works fine. Reported by [​Sebastian Hültenschmidt](https://groups.google.com/forum/#!msg/qubes-devel/TgDWwBs36yA/IUFZPHs716cJ).