DIST linux-4.12.14+redcore.tar.xz 102209536 SHA256 db3b3713cef74d9f822089e0e08cbab3926e859cb1f1b761f863671a3e962ebc SHA512 8ce199b9602de2793249bc66d676b185bfd0cac501c187c22afbc154cafdf4df3dcba41f272e4680f25b2824f9d1e04ce5ec1e389959159069ce4d124127a6e2 WHIRLPOOL 5779b2a2f5c7d905732c60fe32abb0900bfdd5d2b4e84f18f7d2bdf4f9e77dd714c4bab377c5439285242fb598aab2c4b7214503732ae1337446cee2f9d452f0