Comment 5 for bug 1201516

I'm not quite sure what is meant by "unofficial" kernels. The one in question was retrieved from http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.11-rc1-saucy/ which I believe is the official Ubuntu kernel repositories.