Correct kernel parameter should -not- be acpi_isa_irq=7 but acpi_irq_isa=7 To add this parameter, you can use "automagic kernel list markers": edit your /boot/grub/menu.lst and add acpi_irq_isa=7 to # kopt line (leave it commented). Then run : sudo update-grub and it will add the parameter to every kernel option in the file. -- m4ng0