Maybe they should try installing the same distro that is used on the DGX spark to see if that works.