OK, resolvido!
-
Obtenha o Kiwi para criar um CD que funcione no modo BIOS. (O meu é híbrido; não tem 100% de certeza se é necessário ou não.)
-
Encontre a linha que diz
<type image="iso" hybrid="true" boottimeout="1" boot="isoboot/suse-13.1" flags="clic"/>
e mude para
<type image="iso" hybrid="true" firmware="uefi" boottimeout="1" boot="isoboot/suse-13.1" flags="clic"/>
- Crie seu CD. O Kiwi cuida automaticamente de tudo para que funcione no modo (U) EFI, mesmo com o Secure Boot ligado.
Importante: Apenas a versão do Kiwi 64-bit lida com isso. A versão de 32 bits só fez metade do trabalho, deixando-me com um CD que inicializa no Grub e depois fica "preso". Parece que o Grub2-EFI se recusa a inicializar um sistema operacional de 32 bits ...
Se eu soubesse sobre essa troca secreta de documentos, eu poderia ter me poupado de um mês inteiro de mágoa!