core: remove num_processors (unused).