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には1920x2160という解像度が表示されています。 Coffee Lake HD630 i5-8500で4K表示できている方がいらしたら、アドバイスをお願いします。