Re: new port: benchmarks/hpl

[Marc Espie]

For now, that's definitely not the problem.

There are so many other issues that actually need solving FIRST.