gridseed: Support devices with more than 255 physical processors