Interesting theory. What do you case this on? The lack of FPU?

A guess, but myricom makes cards based on a chip explicitly called lanai: https://www.myricom.com/hardware/myri-10g-network-adapters/2...

"LANai"

Then again, someone mentioned this very card, and the response was that it was internal hardware, so still a mystery.