If they are extensions on the Mitel PBX, think they should be set as generic sip, and have a sip device configured for them. Likely on the Mitel they would be in a hunt group, unless they are site specific. Usually only change in sip device is to set the Replace System based with Device based In-Call Features to yes, there may be additional settings but would start with that. Also may want to turn off prack.