Configurable processor_id_type

In case we want to scale past 65535 processors...