803* driver/dtrace_linux.c: Fix for 2.6.18 kernel caused by
          Xen call to set_pte_atomic.