AMD64 - Fix trapframe, intrframe, and user mode cpu accounting.