linux3.10: removed; we'll keep 3.12 instead for LTS.
linux3.13: removed; we do use 3.14 by default on x86 now.