xhci module fails when booting in UEFI mode

[Frederik Himpe <fhimpe@vub.ac.be>]

I've got a HP EliteBook 8470p on which I installed Debian Wheezy in UEFI 
mode. With both the 3.2 kernel from Wheezy, as the 3.7.1 kernel from 
experimental, xhci fails to initialize and my USB mouse connected to one 
of these ports is not recognized at all. The USB3 ports work fine in 
Windows.

[    1.316248] xhci_hcd 0000:00:14.0: can't derive routing for PCI INT A
[    1.316251] xhci_hcd 0000:00:14.0: PCI INT A: no GSI
[    1.316253] 
[    1.316277] xhci_hcd 0000:00:14.0: setting latency timer to 64
[    1.316281] xhci_hcd 0000:00:14.0: xHCI Host Controller
[    1.316287] xhci_hcd 0000:00:14.0: new USB bus registered, assigned 
bus number 1
[    1.316393] xhci_hcd 0000:00:14.0: cache line size of 64 is not 
supported
[    1.316395] xhci_hcd 0000:00:14.0: request interrupt 255 failed
[    1.316447] xhci_hcd 0000:00:14.0: USB bus 1 deregistered
[    1.316466] xhci_hcd 0000:00:14.0: can't derive routing for PCI INT A
[    1.316467] xhci_hcd 0000:00:14.0: init 0000:00:14.0 fail, -22
[    1.316505] xhci_hcd: probe of 0000:00:14.0 failed with error -22

Full dmesg, lspci, lsusb and lsmod can be found here:
http://artipc10.vub.ac.be/~frederik/uefi-xhci/

I found this report about the same problem on a HP Probook system: 
https://bugs.launchpad.net/ubuntu/+source/linux/+bug/1072918 

-- 
Frederik Himpe