Not true in a data center - 20% less work for same CPU is like 25% more cores needed for any applications where the scaling is driven by CPU utilization. That is $ - and people have made things so far from efficient many medium size companies have 100k cores to pay for.

I'm having a hard time believing that data centers are chomping at the bit to use the Hurd.