Hardware-assisted virtualization with PCI pass-through