Symbol: remote_cpus_update