File xend-timeoffset.patch of Package xen

Index: xen-3.3.1-testing/tools/python/xen/xend/XendDomainInfo.py
===================================================================
--- xen-3.3.1-testing.orig/tools/python/xen/xend/XendDomainInfo.py
+++ xen-3.3.1-testing/tools/python/xen/xend/XendDomainInfo.py
@@ -2239,7 +2239,7 @@ class XendDomainInfo:
         self._configureBootloader()
 
         try:
-            if self.info['platform'].get('localtime', 0):
+            if int(self.info['platform'].get('localtime', 0)):
                 if time.localtime(time.time())[8]:
                     self.info['platform']['rtc_timeoffset'] = -time.altzone
                 else: