Update von XEN auf 64 Bit System funktioniert nicht