I wonder if it's more just they had higher yields if they treated the AVX-512 bits as dead silicon :P