diff -r 1b013d10c6d1 tools/python/xen/xend/XendConfig.py
--- a/tools/python/xen/xend/XendConfig.py	Mon Jan 28 10:37:08 2008 +0000
+++ b/tools/python/xen/xend/XendConfig.py	Fri Feb 01 14:34:50 2008 +0100
@@ -501,8 +501,8 @@ class XendConfig(dict):
             int(sxp.child_value(sxp_cfg, "cpu_cap", 0))
 
         # Only extract options we know about.
-        extract_keys = LEGACY_UNSUPPORTED_BY_XENAPI_CFG
-        extract_keys += XENAPI_CFG_TO_LEGACY_CFG.values()
+        extract_keys = LEGACY_UNSUPPORTED_BY_XENAPI_CFG + \
+                  XENAPI_CFG_TO_LEGACY_CFG.values()
         
         for key in extract_keys:
             val = sxp.child_value(sxp_cfg, key)