Updated build to make ISO image without using grub-mkrescue, as this tool will build only EFI-based images on some machines.