mk: fix scope of disabling AVX512F support