A (pointer dereference) bug in my kernel module crashed the system, and when I rebooted, a network PCI device went missing. Several reboots didn't bring back the device, but a cold reboot did! I am curious: what could have caused this issue? -- Vimal