I think this was related with a kernel bug which was fixed with the latest release from OSX (released yesterday).

I personally discovered this bug while using dlite, which uses xhyve behind the scenes.