amd64/cu128: links for ibex-server-common