Add to xen_independent_wallclock test for Linux