jp6/cu126: links for angr-z3