Obrigado Allan. Isso resolveu. Tudo está funcionando, mas 2 coisas não estão bem:
1. A GenericUSBXHCI.kext para controlar a NEC/Renesas USB 3.0 está fazendo o restart e o shutdown demorar demais. 2. O boot do windows 10 está MUITO lento (tenho o OSX e o Windoes em 2 ssds separados). Alguém sabe como resolver? Abraços Paulo.Ristum Mensagens: 4 Registrado em: 09 Abr 2016, 21:20 Processador: 3770 Placa mãe: Extreme-z Placa de vídeo: 660 ti