Hi, some more info on this. I installed kernel 3.12 and 3.14 from wheezy backports, and both don't have this shutdown problem.
Maybe it has something to do with acpi. If I boot kernel 3.2 with acpi=off, system is halted on shutdown and I can manually power off. Jochen -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org