Install right smbios tools package on Debian

We had to use Dell package for smbios tools, as we use Dell repo.