The driver prints out a dotted version number but it's in hex.  As a
result, the version doesn't visibly match the filename for the firmware,
and it caused a bunch of confusion while discussing different versions
with the chip manufacturer.
Change the firmware printout to be in decimal.
Signed-off-by: Devin Heitmueller <dheitmueller@kernellabs.com>
Signed-off-by: Mauro Carvalho Chehab <mchehab@redhat.com>
        xc_get_version(priv,  &hw_majorversion, &hw_minorversion,
                &fw_majorversion, &fw_minorversion);
        xc_get_buildversion(priv,  &fw_buildversion);
-       dprintk(1, "*** HW: V%02x.%02x, FW: V%02x.%02x.%04x\n",
+       dprintk(1, "*** HW: V%d.%d, FW: V %d.%d.%d\n",
                hw_majorversion, hw_minorversion,
                fw_majorversion, fw_minorversion, fw_buildversion);