А как уменьшали? Я именно с таким уменьшительным всегда сталкивалась. Кристины дома и для друзей были Кристями. Ничего идиотского в этом нет. Имя как имя. Есть еще Крис, но оно появилось в конце 80-х когда к нам хлынули иностранные фильмы. Да и как то оно больше с крысой ассоциировалось, поэтому и не прижилось.