If the loading of kernel module i810-tco make the system reboot, isn't that a problem with the kernel and not with discover? Btw, do you have the output from 'lspci -n' as well? It will help me find the ID of the PCI device which uses the i180-tco module.