Xen devel - Feb 2005 - XendDomainInfo - patch to fix restart warning

This very simple patch is really just cosmetic.  It "fixes" xend so
that
it doesn''t report restart as: "WARNING (XendDomainInfo:1038)
Unknown
config field restart" in the xend.log.  I''m not sure who should
sign off
on this, but the patch is attached.

Brian.