Comment 15 for bug 1072918

using kernel parameter

acpi=noirq

solve this issue on hp 8570p without breaking other hardware

........
[ 0.000000] Linux version 3.5.0-25-generic (buildd@komainu) (gcc version 4.7.2 (Ubuntu/Linaro 4.7.2-2ubuntu1) ) #39-Ubuntu SMP Mon Feb 25 18:26:58 UTC 2013 (Ubuntu 3.5.0-25.39-generic 3.5.7.4)
[ 0.000000] Command line: BOOT_IMAGE=/boot/vmlinuz-3.5.0-25-generic.efi.signed root=UUID=f8ccd8b4-9642-48c1-b57d-258ebbb6ee14 ro quiet splash acpi=noirq vt.handoff=7
........
$ dmesg | grep xhci
[ 1.141906] xhci_hcd 0000:00:14.0: can't find IRQ for PCI INT A; please try using pci=biosirq
[ 1.141922] xhci_hcd 0000:00:14.0: setting latency timer to 64
[ 1.141924] xhci_hcd 0000:00:14.0: xHCI Host Controller
[ 1.141927] xhci_hcd 0000:00:14.0: new USB bus registered, assigned bus number 3
[ 1.142008] xhci_hcd 0000:00:14.0: cache line size of 64 is not supported
[ 1.142048] xhci_hcd 0000:00:14.0: irq 23 for MSI/MSI-X
[ 1.142087] usb usb3: Manufacturer: Linux 3.5.0-25-generic xhci_hcd
[ 1.142137] xHCI xhci_add_endpoint called for root hub
[ 1.142139] xHCI xhci_check_bandwidth called for root hub
[ 1.142196] xhci_hcd 0000:00:14.0: xHCI Host Controller
[ 1.142198] xhci_hcd 0000:00:14.0: new USB bus registered, assigned bus number 4
[ 1.142218] usb usb4: Manufacturer: Linux 3.5.0-25-generic xhci_hcd
[ 1.142260] xHCI xhci_add_endpoint called for root hub
[ 1.142261] xHCI xhci_check_bandwidth called for root hub
[ 15.089213] genirq: Flags mismatch irq 23. 00002001 (lis3lv02d) vs. 00000000 (xhci_hcd)
........