x86, trace: Add page fault tracepoints