intel64: make system call handling more efficiently