More careful with cur_tf in syscalls