artur! sou muito leigo nessa questao de colocar id em kext, ja li tanto o post sobre a intel hd 4000 mais quando vou fazer erro mano!
teria possibilidade de vc editar minha dsdt e a kext appleintelFramebuffercapri? se tiver eu posto e deixo o link com vc!