xen/trace: add mmu tracepoints