fix up xen config at end of sipb-xen-install
drwxr-xr-x - common
-rw-r--r-- 105 config.todo
drwxr-xr-x - debian
drwxr-xr-x - guest
drwxr-xr-x - host