I understand that at least on the i386/amd64 ports CPUs are tracked with a 32-bit mask and thus at most 32 CPUs may be active. How complex is the task of removing this limitation so that a larger number of CPUs may be used? Cheers, Brook