cc6ee608854e0da4b64f6c1ff8b6398c linux-3.12.tar.xz 3eba4fbc64b9fdd16b26692005b5e33b patch-3.13-rc7.xz f7270d341366d25c959a0f9557a1ae83 patch-3.13-rc7-git5.xz a1a1e715cc0c95b4c90d432290b4ee96 perf-man.tar.gz