Olá Bismark
Esta com o mesmo problema, mais reinicie o computador fui na bios e verifiquei se ela estava em HSCI como não estava ele não estava achando por onde dar boot, no meu caso resolveu, fica ai a dica.
já aproveitando o post alguem saberia onde posso baixar os kexts para minha plca mãe.
Placa Mãe: SAMSUNG RV410
Processador: Intel Pentium Dual Core T4500
Chipset: Intel GL40
Mémoria: 2GB DDR3
Placa Wireless : broadcom