Descobri que o problema é que eu tentei instalar uma versão de 32 bits do Linux. Ao instalar em um sistema x86 com Secure Boot ( UEFI ) é necessária uma versão de 64 bits do Linux.
Depois de instalar uma distro do Linux (Fedora 19, para ser exato) em uma máquina com Windows 8, recebi a mensagem:
No boot disk has been detected or the disk has failed.
O que eu fiz de errado?
Descobri que o problema é que eu tentei instalar uma versão de 32 bits do Linux. Ao instalar em um sistema x86 com Secure Boot ( UEFI ) é necessária uma versão de 64 bits do Linux.