Set independent_wallclock on Xen guests under Linux