Есть ли проги, чтобы преобразовать iso образ в efi iso образ?