ppc64le/linux: links for iaesdk