Finishing Xen on Debian post.