It'll be a shame if they don't dump a chunk of that money on the Mill. However there may very well be some string attached unsuitable to Ivan Godard et al.
The Mill isn't really very well suited for supercomputing workloads. It tries to do well on poorly written C++ code (aka "general purpose code") that OoO machines have historically don well on. By contrast, VLIW machines are perfectly suitable for supercomputing, and indeed, I think that Itanium did well in the HPC world until it was discontinued.
Something like the Rex Computing Neo would be more suitable for this.
I wonder if it being completely open source would have an impact on that.