819* driver/dtrace_linux.c: Fix xtime_cache_ptr so that
          the timestamp function works on Ubuntu 12.04 (or any >= 3.4
	  kernel).