Obrigado pela sugestão pessoal, mas acho que encontrei a resposta para minha própria pergunta, também foi (pelo menos parcialmente) respondida aqui: Como criar um ISO inicializável por EFI de uma versão personalizada do Ubuntu? em grande detalhe, com exceção da porção iso-híbrida.
Na verdade, esse guia produz uma imagem EFI / UEFI ISO9660 (Rock Ridge) inicializável, mas quando tento gravar a imagem resultante em uma unidade USB com o utilitário dd de baixo nível, tudo que consigo é uma unidade não inicializável (funciona, no entanto, quando Eu gravo em um DVD)
O truque aqui é usar o utilitário isohybrid para modificar a imagem: isohybrid --uefi output.iso
, isso adicionará uma pequena partição FAT à estrutura da imagem ISO, tornando-a capaz de inicializar via USB em sistemas EFI / UEFI. / p>