s4:kdc: Make a copy of the device SIDs to be placed in the security token