--- linux-2.6.14/drivers/usb/host/ehci-hcd.c.orig	2006-02-19 00:37:37.000000000 +0000
+++ linux-2.6.14/drivers/usb/host/ehci-hcd.c	2006-02-19 00:40:20.000000000 +0000
@@ -307,7 +307,9 @@ static int bios_handoff (struct ehci_hcd
 	struct pci_dev *pdev = to_pci_dev(ehci_to_hcd(ehci)->self.controller);
 
 	/* always say Linux will own the hardware */
+	printk("bios_handoff: claiming hardware at %x\n", where + 3);
 	pci_write_config_byte(pdev, where + 3, 1);
+	printk("hardware claimed\n");
 
 	/* maybe wait a while for BIOS to respond */
 	if (cap & (1 << 16)) {