Based on Nokia IPSO? From the Firewall business?
The references to "fastpath" and Freebsd remind me of the implementations of firewall flows and fastpath as done in the former Nokia IPSO software used on the Firewall router business (1998-2007 ish, then sold to Check Point)
If yes then the offloading of the kernel and port to ARM is well rooted in that heritage. The code base was tried and tested in high load and critical infrastructure situations for many years and achieved at one point 40% market share in Check Point customer base, I guess Nokia retained the IPR when the business was disposed of. Nokia Networks also used that code at one point for mobile network backbone infrastructure.
Perhaps we`ll also see the return of Network Alchemy's patented high resilience VPN cluster technology that Nokia launched and pulled from the market before it could really get established.
ahh...old dreams...old wars...