I use a Toshiba A4, but have to include acpi=noirq in the kernel parameters. If not, it disables IRQ11 which is used for the wireless and cable ethernet. Is there any way round this problem? Thanks