PCI pass through Xen 4.1.x and NetBSD 6

[Marcus Osdoba <marcus.osdoba%googlemail.com@localhost>]

Hello mailinglist,

Because I got an error when passing through PCI devices with kernel 
4.1.3, I tried the recently pkgsrc-published kernel 4.1.4.

Unfortunatly I still got an error when starting the hvm domu with xl:
libxl: error: libxl_pci.c:750:libxl_device_pci_reset The kernel doesn't 
support reset from sysfs for PCI device 0000:02:00.0
libxl: error: libxl_pci.c:750:libxl_device_pci_reset The kernel doesn't 
support reset from sysfs for PCI device 0000:04:00.0

Did anyone passed through PCI devices with NetBSD 6 an Xenkernel 4.1.x?
Am I forced to use Xenkernel 3.3?

Kind regards,
Marcus

netbsd$ pkg_info|grep xenkernel41
xenkernel41-4.1.4   Xen 4.1.x Kernel
netbsd# pkg_info|grep xentools
xentools41-4.1.4nb1 Userland Tools for Xen 4.1.x
netbsd# uname -a
NetBSD netbsd.domainname 6.0.1 NetBSD 6.0.1 (XEN3_DOM0) amd64