Changed the type that keeps the core to pin to (from uint8 to size_t). We now support > 255 cores.