linux3.1{2,5}: removed; 3.14 is our LTS kernel, and 3.15 has been EOLed.