You might have to bring this question over to the Debian Forum. I don’t work with servers, but as noted above this sounds like a situation where you need to install a newer version of the kernel.
You could try using the Testing ISO https://wiki.debian.org/DebianTesting
DistroWatch has a filter for that
https://distrowatch.com/search-mobile.php?category=Live+Medium#simple
Try be sure to include various DEs or WMs for your friend to see (KDE, Xfce, GNOME, LXQt, and maybe a tiling WM?)