Well, there's good news and bad news.  To start with the bad news, there's a missing `-O3` in mirage-platform which led to the runtime being completely unoptimised on Xen. The good news is that we should be an awful lot faster now :)