Am 22.11.2013 00:21 schrieb "Robert Elz" <kre%munnari.oz.au@localhost>:
> Anyone have any suggestions for Riccardo to try ?
Yes. In addition to disabling ACPI, you can try disabling the pcibios driver, this is what used to help in OpenBSD. Of your BIOS has that option, you can also try to disable the automatic assignment of interrupts to PCI devices and set them manually. Be sure to choose a different IRQ for the CardBus controller and for the graphics card.