Comment # 12 on bug 1213578 from Andreas Jaeger

The latest kernel had initial a network connection problem and gnome-shell
started without any extensions which I was later able to enable. After that I
worked fine for an hour until I rebooted.

I don't know whether the network and gnome-shell problems were related to the
kernel.

Let me try that kernel again...