Skylake (HP Elitedesk 800 G2 DM i7-6700T)のHD 530でフリーズが頻発するのに嫌気がさして、HP Elitedesk 800 G4 SFF (i5-8500)を入手しました。
HD 530とは違い、スリープも問題なく長時間の放っておいても今のところフリーズはありませんが、4Kモニターに接続しても4Kを認識してくれません。
Opencore Vanilla Guide通りにig-platform-idを設定してもダメでした。
おかしいことに、System PreferencesのDisplayには1920×2160という解像度が表示されています。
Coffee Lake HD630 i5-8500で4K表示できている方がいらしたら、アドバイスをお願いします。