[bitfolk] Xen virtualisation experience and advice