[seL4] Small question about copiing threads