Debian 13 (Trixie) kernels with patches for TB5 support suggested in https://bugzilla.kernel.org/show_bug.cgi?id=221319 and https://community.frame.work/t/help-wanted-egpu-bootloop-issues/82128