will boot command params acpi=off or acpi=noirq ruin my hardware?
Solution 1:
Ubuntu provides a guide for working with this machine. Apparently the installer needs acpi=off; acpi=noirq suffices for standard booting, which simply doesn't use ACPI for irq routing. (Which seems unlikely to matter on a laptop -- if it were a large SMP system, it might matter.)