security/klee: fix packaging on powerpc64le
powerpc64le doesn't have multilib libraries, since there's no 32-bit little-endian POWER.