Describe your process for debugging a device driver that is causing intermittent kernel panics on Neptune Medical systems.