Fixing invalid core_id while descheduling ports
Fixing previous commit; core_port_slot is incorrect, not core_id
Porting core_port_slot fix to PEX