Add missing {register,free}_netdev().

Tie into existing driver API; we'll fix that up soon.

src/drivers/net/pnic.c

 
 	unregister_netdev ( netdev );
 	pnic_command ( pnic, PNIC_CMD_RESET, NULL, 0, NULL, 0, NULL );
+	free_netdev ( netdev );
 }
 
 /**************************************************************************
 	netdev->poll	 = pnic_poll;
 	netdev->transmit = pnic_transmit;
 
+	/* Register network device */
+	if ( ( rc = register_netdev ( netdev ) ) != 0 )
+		goto err;
+
 	return 0;
 
  err:
 
 // PCI_DRIVER ( pnic_driver );
 
+
+static int pnic_hack_probe ( void *dummy, struct pci_device *pci ) {
+	return ( pnic_probe ( pci ) == 0 );
+}
+
+static void pnic_hack_disable ( void *dummy, struct pci_device *pci ) {
+	pnic_remove ( pci );
+}
+
 #include "dev.h"
 extern struct type_driver test_driver;
 
 DRIVER ( "PNIC", test_driver, pci_driver, pnic_driver,
-	 pnic_probe, pnic_remove );
+	 pnic_hack_probe, pnic_hack_disable );