hw/vfio/trace-events incorrect format