il video hdmi è nativo oppure in altri casi si abilita con patch sul config come per lo stesso audio
le acpi in questo non fanno nulla..credo che ti stai forse confondendo con audio hdmi per video dedicate (GPU) ma per desktop, il quale per abilitarlo si può usare anche DSDT/ssdt..ma è un discorso a se stante
Poi hai sempre avuto la stessa configurazione funzionante quindi è palese che ora come ora c'è qualcosa che non va altrove, bug etc.. i quali creano questi sporadici malfunzionamenti in determinati momenti
Se hai un domani visionato e trovato altre info, riguardo a quando il bug si presenta, se si presenta con alcuni kext o alcune versioni, oppure con clover etc..
fallo presente..e come ho fatto sempre ti aiuto..ci mancherebbe, ma adesso "ho le mani legate" perchè non dipende da me questo discorso e ci sono troppe variabili in atto, inoltre da parte tua non ho diciamo info mirate e dettagliate a riguardo per provare a capirci qualcosa di più