AVX-512 set: added VEXTRACTPS instruction