Hallo, ich habe inzwischen das Problem gelöst, indem ich in /etc/default/grub acpi_osi="!Windows 2012" eingetragen habe.
https://bbs.archlinux.org/viewtopic.php?id=158775
Nebenbei habe ich damit auch den Intel-Resume-Bug beim neuen Kernel 3.8 umgangen.
https://bugs.archlinux.org/task/34352