Olá Arthur. Tudo bom? Obrigado pela resposta. Então, sem essa Kext minhas portas USB 3.0 não funcionam. Com essa kext funciona sim, mas não aparece no relatório de sistema. O problema é o tempo de boot. Vc tem alguma sugestão para fazer a controladora USB 3.0 da minha placa funcionar (NEC / Renesas)?
Abração