x86_64: libcpuid.so.17
