Muito obrigado, MaLd0n, por todo o excelente trabalho realizado!
Meu note é o Lenovo s145, com i7 de 10th, com placa Wi-Fi da Intel e trackpad elan.
Estou usando a EFI antiga com opencore 0.6.5.
Para atualizar para esta quais kext tenho de substituir?