Fixed formatting bug in the dell driver, bad int in printf.