ok allora se delle volte usi un hdmi diretto ...va bene 
  
ho modificato il dsdt, che è in uso,  allegatomi da @Baio77[/mention]  
  
ho fatto alcune modifiche a riguardo, dovresti provare sostituendolo 
  
però potresti incorrere su problemi al boot, quindi devi avere una usb  da usare in caso di problemi 
  
se avvia.. dovresti controllare l'audio hdmi 
  
e a quel punto se non andasse fare un ioreg 
  
  
  
Non so se vuoi aspettare anche lui a provare.. quello come preferisci tu.. tanto quando vuoi a noi ci trovi sempre qui :)