Re: [PATCH] server: Rename cpu_type_t to client_cpu_t.