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.