Comment 6 for bug 1247784

Hi Seth, I was referring to http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12-saucy/
the /boot/config doesn't have this option enabled.

(maybe this kernel is handled differently because if from saucy? Is it handled by a different team?)