Re: kernel ignores pci device