Когда речь идет о начальных виртуальных дисках, почему некоторым из них дается расширение .img, а другим - .efi? Имеет ли значение, если я просто изменю имя файла виртуального диска?