Improve get_num_of_cores() to be able to return information about other
machines in the configuration.