No vuole dire che durante tutta la fase di boot prima di caricare windows quella porta non funziona e inizia a funzionare soltanto quando si carica il sistema operativo perché si caricano anche i driver. Comunque io ho risolto con un secondo monitor collegato al bisogno.
Quindi non è solo un mio problema.. Sai se succede solo con questa scheda o è comune a tutte le schede discrete? Con la gpu integrata nel 4690k non succede, l'hdmi si vede anche senza driver installati. Io non ho altri monitor, dovrei ogni volta portare il PC in ufficio..