Hi, I just switched from Ubuntu to Debian 7.5 (Gnome 3) and have the same issue. Kernel is 3.2.0-4-amd64 #1 SMP Debian 3.2.57-3+deb7u1 x86_64 GNU/Linux.
I was working with Ubuntu for several years and never had such a problem with any kernel. I was using Ubuntu 12.04 with LTS enablement stack, so I got many different version of the kernel, starting at 3.2 and ending with 3.11. After upgrade to Ubuntu 14.04 I used kernel 3.13.0 and also had no problem. So, maybe this is not an issue with the kernel, but with something else in Debians shutdown procedure? Maybe the setting of RTC in shutdown procedure? (I think Ubuntu does not set it on shutdown) Jochen -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
