cc6ee608854e0da4b64f6c1ff8b6398c linux-3.12.tar.xz ed069580489aca6ddafa04d171e5c098 patch-3.13-rc2.xz 172f0eefcb98516d730413183edc3da0 patch-3.13-rc2-git2.xz