А имя можно поменять при получении гражданства или это отдельная процедура?

Можно при получении гражданства. Но старое при этом останется в базе, и при пересечении границы везде будет пометка, что вы поменяли имя.