Fixing invalid core_id while descheduling ports