/usr/src/lib/libipmi/amd64/