A instalação correu bem. Eu tive que baixar b43updated.zip com firmware para a placa de rede sem fio, caso contrário, tudo bem, exceto por um outro problema:
sudo efibootmgr -o 80, 0, ffff , o OS X é inicializado e o menu de inicialização ainda mostra "Macintosh HD", nenhuma outra entrada Então o Ubuntu está disponível para inicialização, eu posso fazer o primeiro sistema operacional. Mas não está disponível para seleção durante a inicialização. O que pode ser feito?