amd64/cu128: links for davros-device-server