> Is there anyway we can sort of tell valgrind to report the correct CPUID
> or at least something it would read from a configuration?
No. Well, you could change the source code to valgrind, then re-build.
The results of CPUID were chosen because they describe the hardware that
valgrind knows how to support, and thus the user-mode code and valgrind
can agree on the capabilities of the "virtual" CPU.