charles Sun, 10 Jul 2005 10:54:49 -0700
Answering my own query, for the benefit of future list-readers... Adding acpi=force as a kernel boot parameter (in menu.lst for GRUB) does the trick.
charles.
