I just bought an HP Envy and installed F25 over the weekend. I have a few problems I did not have on the Dell XPS 13 it replaced. First, upon resuming from sleep, my external monitor doesn't wake up. The monitor says it's getting no input from the PC, and the Displays settings app doesn't show a second monitor.

The only differences from before are

a) the XPS 13 had a mini-displayport, and this one is HDMI
b) this is a fresh install of F25, where the old computer was upgraded probably from F22.

What can I do, any suggestions? Right now only rebooting seems to work.

Thanks,
Matt