Make 3.13.0-26-generic the default kernel on Trusty.