Agreed. Talking to cpercival would also be a good start. See his page on the subject: http://www.daemonology.net/freebsd-on-ec2/

Also: https://wiki.freebsd.org/FreeBSD/Xen

I think that funding whatever is required here would be fantastic. The move to VPSs has forced me to also move to Ubuntu for what I host 'in the cloud', and I'd love to move back to FreeBSD.