Hello,
it happens to me to have some FreeBSD servers at hand, with lots of unused CPU and some memory to spare to rendering; unfortunately, Linux x64 emulator is not available (some people claims to work on it, but nothing stable yet), running a virtual machine seems to me to be a waste of resources, and 32-bit application is limited to a puny 2Gb of RAM.
Can the processing kernel be rebuilt for FreeBSD/64? I'm quite willing to help.