Excellent result! For the first time my laptop sees its cardslot with acpi!

Old code:

cbb0 at pci2 dev 11 function 0: Texas Instruments PCI7x21/7x11 Cardbus Controller (rev. 0x00)
cbb0: NOT USED because of unconfigured interrupt

But now, without any of *_FIXUP nor ACPI_SCANPCI defined,

allocated pic pic0 type level pin 11 level 6 to cpu0 slot 11 idt entry 43
cbb0: interrupting at irq 11

Cheers,

Patrick