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-kernel-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: https://lists.debian.org/53dd5d7b.90...@skynet.be
