x86-64-v3 je imho mnohem menší problém, než se zdá. Přechod na x86-64-v4 by byl, jelikož Avx512 nemá/nemělo spousta "aktuálních" cpu. Třeba do mobilních cpu je intel nedával a amd se dlouhou dobu avx512 vyhýbal obloukem. Navíc pokud si dobře pamatuji, tak použití avx512 bylo u intelu z počátku hodně energeticky náročné a kolidovalo s turbo boostem, takže možná ten přidaný výkon nakonec z hlediska spotřeby není o moc výhodnější.