Update cpu-exec.c