remove x86-64 specific commentary
simplify do_syscall by using syscallrec ptr