More accurate way to check whether AVX OS-support is enabled.