В прошлом существовало два варианта имени – Кирилл и Кирила. Они восходят к греческому имени Κύριλλος, пришедшему в русский язык через старославянский. Вариант Кирила был отмечен в пятом издании «Орфографического словаря русского языка» (1963 г.) как народный. Однако начиная с 13-го издания (1974 г.) он перестал фиксироваться. При этом в современных словарях собственных имен Кирила часто дается как разговорный вариант имени Кирилл (см., например, «Словарь русских имен» Н. А. Петровского). А. С. Пушкин назвал своего героя Кирила Петрович, отсюда отчество Маши – Кириловна.
Спасибо за интересный вопрос!