xen: set num_processors