I see that kernel 3.14.1 is available for Trusty at
http://kernel.ubuntu.com/~kernel-ppa/mainline/
When will this kernel be available for upgrade via the Ubuntu repositories.
(I know that I can manually download and upgrade the kernel, but I'd rather get it as an update).