ACPI disables USB ports on Lenovo X200

[Damian Gerow]

Some time ago, the external USB ports on my Lenovo X200 stopped working.
Specifically, if I plug in an optical mouse, I see it light up for a brief
moment, then turn off.  Nothing ever shows up in the system logs, even with
USB debugging enabled.  The laptop also has an internal SD card reader,
connected via USB, that works just fine

After playing around, I've discovered that the USB ports work while the
boot loader is active, but seem to be disabled around the time
\\_SB_.PCI0.EHC0.U7CS and \\_SB_.PCI0.EHC1.U8CS are registered (discovered?)
during the boot process.  In the snippet below, the system pauses briefly
after the "PCIe: Memory Mapped configuration" line is displayed, and the USB
mouse is still active at that time.  As soon as things pick up again,
though, the mouse turns off.

-----
acpi0: <LENOVO TP-6D> on motherboard
PCIe: Memory Mapped configuration base @ 0xe0000000
CPU0: local APIC error 0x40
ioapic0: routing intpin 9 (ISA IRQ 9) to lapic 0 vector 48
acpi0: [MPSAFE]
acpi0: [ITHREAD]
acpi_ec0: <Embedded Controller: GPE 0x11, ECDT> port 0x62,0x66 on acpi0
AcpiOsDerivePciId: \\_SB_.PCI0.MHCS -> bus 0 dev 0 func 0
AcpiOsDerivePciId: \\_SB_.PCI0.EHC0.U7CS -> bus 0 dev 29 func 7
AcpiOsDerivePciId: \\_SB_.PCI0.EHC1.U8CS -> bus 0 dev 26 func 7
acpi0: Power Button (fixed)
acpi0: wakeup code va 0xffffff800000f000 pa 0x4000
AcpiOsDerivePciId: \\_SB_.PCI0.LPC_.LPCS -> bus 0 dev 31 func 0
acpi0: reservation of 0, a0000 (3) failed
acpi0: reservation of 100000, bff00000 (3) failed
ACPI timer: 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 1/2 -> 10
Timecounter "ACPI-fast" frequency 3579545 Hz quality 1000
acpi_timer0: <24-bit timer at 3.579545MHz> port 0x1008-0x100b on acpi0
-----

Full copies of a verbose dmesg (including USB debugging enabled) as well as
a copy of my ASL can be found at <http://devio.us/~dwg/dwg-x200.dmesg> and
<http://devio.us/~dwg/dwg-x200.asl>, respectively.

Though this used to work, I don't know exactly when it broke.  I've tried
poking around at a few BIOS settings to no avail, and booting without ACPI
isn't an option (the system doesn't boot).

The laptop is a Lenovo X200, 7454-CTO, running BIOS 3.16.  Which, um, is
more recent than the latest release from Lenovo, but was current as of about
six months ago.