cc6ee608854e0da4b64f6c1ff8b6398c linux-3.12.tar.xz 7586a099c5e30ba872da96179bdd1426 patch-3.13-rc8.xz a1a1e715cc0c95b4c90d432290b4ee96 perf-man.tar.gz