debian-user:
Here are the BIOS settings for Configuration -> Video:
Integrated Graphics Device Always Enable
IGD DVMT Memory Maximum DVMT
Primary Video Adapter Int Graphics (IGD)
IGD Primary Video Port DVI-I (Blue) Analog
IGD Secondary Video Port DisplayPort
No Video Detected Error Beeps Enable
David