cc6ee608854e0da4b64f6c1ff8b6398c linux-3.12.tar.xz be2604350d32ab4967f9773920de1ec8 patch-3.13-rc3.xz