Hmmm... The problem is apparently only partially resolved.This is a triple-boot computer, which has Ubuntu 10.04, Ubuntu 14.04, and Debian 7 installed.
If I boot either of the Ubuntu systems, then reboot and start Debian, power down from Debian will fail.
If I run only Debian after power on, then power down from Debian is OK. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org