Xi broken

Hi,

Xi is broken at the moment. This XenServer version won't boot jessie kernel.

Can't fix this myself, so this may take some time.

Regards,

Stephan.