Switching onboard video output port?

[Dave Huang <khym%azeotrope.org@localhost>]

I've got a Gigabyte Z77X-UD5H motherboard with an Ivy Bridge CPU, and am using 
the integrated Intel video with two monitors: one connected to the Displayport, 
the other to the DVI port. NetBSD's console only shows up on the DVI-connected 
monitor; the Displayport monitor is in power save mode. Is there a way for me 
to switch it over to the Displayport monitor (or mirror the display on both)?

Possibly relevant excerpt from dmesg:

NetBSD 6.99.7 (CHEETAH) #1: Mon Jun 11 04:33:02 UTC 2012
[ ... ]
acpivga0 at acpi0 (GFX0): ACPI Display Adapter
acpiout0 at acpivga0 (DD01, 0x0100): ACPI Display Output Device
acpiout1 at acpivga0 (DD02, 0x0400): ACPI Display Output Device
acpiout1: brightness levels: 0 5 10 15 20 25 30 35 40 45 50 55 60 65 70 75 80 
85 90 95 100
acpiout2 at acpivga0 (DD03, 0x0300): ACPI Display Output Device
acpiout3 at acpivga0 (DD04, 0x0301): ACPI Display Output Device
acpiout4 at acpivga0 (DD05, 0x0302): ACPI Display Output Device
acpiout5 at acpivga0 (DD06, 0x0303): ACPI Display Output Device
acpiout6 at acpivga0 (DD07, 0x0304): ACPI Display Output Device
acpiout7 at acpivga0 (DD08, 0x0305): ACPI Display Output Device
acpivga0: unknown output device acpiout0
acpivga0: unknown output device acpiout2
acpivga0: unknown output device acpiout3
acpivga0: unknown output device acpiout4
acpivga0: unknown output device acpiout5
acpivga0: unknown output device acpiout6
acpivga0: unknown output device acpiout7
acpivga0: connected output devices:
acpivga0:   0x0400 (acpiout1): Unknown Output Device, head 0

-- 
Name: Dave Huang         |  Mammal, mammal / their names are called /
INet: khym%azeotrope.org@localhost |  they raise a paw / the bat, the cat /
FurryMUCK: Dahan         |  dolphin and dog / koala bear and hog -- TMBG
Dahan: Hani G Y+C 36 Y++ L+++ W- C++ T++ A+ E+ S++ V++ F- Q+++ P+ B+ PA+ PL++