You would have to contact them for the answer.
They could be running a custom PV version of FreeBSD (there are patch sets of various completion floating around the 'Net).
Or they could be running FreeBSD in HVMs using custom patches to workaround the bugs.
Or they could be running xen-unstable.
Or ... or ... or ...
