O Ubuntu fornece um guia para trabalhar com esta máquina . Aparentemente, o instalador precisa de acpi=off
; acpi=noirq
é suficiente para a inicialização padrão, que simplesmente não usa ACPI para irq routing. (O que parece pouco provável em um laptop - se fosse um grande sistema SMP, isso poderia importar).