mk: fix AVX512 disabled warning on non x86