So how have I found out about AVX not being detected? Well, it was actually quite easy (once you know where to look!):
During compile of Whisper.cpp, it shows detection of AVX/AVX2 in the log output.
You can see it here in their CI:
https://github.com/ggml-org/whisper.cpp/actions/runs/18441378587/job/52542245446#step:5:52
They have different CI jobs for compiling for Windows (MSYS2, MSVC) - interestingly, only the MSVC one shows the AVX log.
But I was using MSVC on my local Windows machines, where it failed to detect AVX.
So what to do now?
2/?