[Bug 1165055] [doc] Procedure 27.2: Assigning a PCI Device to a VM Guest via VFIO