--- drivers/usb/uhci.c.old	Tue Feb  8 17:11:13 2000
+++ drivers/usb/uhci.c	Wed Feb 16 15:25:52 2000
@@ -2032,6 +2032,12 @@
 		/* disable legacy emulation */
 		pci_write_config_word(dev, USBLEGSUP, USBLEGSUP_DEFAULT);
 
+		{
+		char foo;
+		pci_read_config_byte(dev, 0x60, &foo);
+		printk("uhci: serial bus release number %02X\n", foo);
+		}
+
 		pci_enable_device(dev);
 
 		if (!dev->irq) {