[PATCH 4.4 127/266] vfio/pci: use correct format characters