x86: Torvalds sieht kaum praktische Vorteile in AVX-512