we might be able to get rid of the HDMI adapter later and use the motherboard's DSI->eDP adapter alternatively, but not right now :3 (then we could probably have triple display?)