vfio-pci: Roll the header into the .c file