Intel HD Graphics and dedicated GPU for VGA Passthrough on Arch Linux - iGPU not showing up

I have a Dell Precision M6600 Mobile Workstation (really big laptop). Specs:

CPU: i7 2820QM
GPU: Nvidia K4000M

According to http://ark.intel.com/products/52227/Intel-Core-i7-2820QM-Processor-8M-Cache-up-to-3_40-GHz :
Intel® HD Graphics 3000

So I have two GPUs. However, there's no mention of the iGPU in the BIOS (usually it has an option for which to use as primary), it's not listed in lspci, and if I try to force the K4000M to not be used, the system won't output an image.

Things I've done to be sure everything is setup correctly:

  1. Enabled Vt-d in BIOS.
  2. Enabled IOMMU in the kernel.
  3. Verified the IOMMU groups are valid (the dedicated GPU is in it's own group).
  4. Bound the PCI ids to vfio-pci.
  5. Set vfio's modules for boot with mkinitcpio.

    No display on boot.

  6. Undid #5.

  7. Created a Windows Virtual Machine with QEMU/KVM using virt-manager using UEFI (OVFM).

So I feel like I'm 90% of the way there. My GPU, CPU, motherboard, and such seem to support everything. It's just the iGPU that's not showing up.

I've tried being sure that the nvidia proprietary driver and the nouveau open source driver are blacklisted and that vfio-pci gets the dedicated GPU, but that's what causes it to boot without a display.

I'm gonna guess the iGPU is connected to one of my outputs and not the laptop monitor perhaps? I do have a VGA, DisplayPort, and HDMI out on this laptop.

lspci
00:00.0 Host bridge: Intel Corporation 2nd Generation Core Processor Family DRAM Controller (rev 09)
00:01.0 PCI bridge: Intel Corporation Xeon E3-1200/2nd Generation Core Processor Family PCI Express Root Port (rev 09)
00:16.0 Communication controller: Intel Corporation 6 Series/C200 Series Chipset Family MEI Controller #1 (rev 04)
00:19.0 Ethernet controller: Intel Corporation 82579LM Gigabit Network Connection (rev 04)
00:1a.0 USB controller: Intel Corporation 6 Series/C200 Series Chipset Family USB Enhanced Host Controller #2 (rev 04)
00:1b.0 Audio device: Intel Corporation 6 Series/C200 Series Chipset Family High Definition Audio Controller (rev 04)
00:1c.0 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 1 (rev b4)
00:1c.1 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 2 (rev b4)
00:1c.2 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 3 (rev b4)
00:1c.3 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 4 (rev b4)
00:1c.7 PCI bridge: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 8 (rev b4)
00:1d.0 USB controller: Intel Corporation 6 Series/C200 Series Chipset Family USB Enhanced Host Controller #1 (rev 04)
00:1f.0 ISA bridge: Intel Corporation QM67 Express Chipset Family LPC Controller (rev 04)
00:1f.2 SATA controller: Intel Corporation 6 Series/C200 Series Chipset Family 6 port SATA AHCI Controller (rev 04)
00:1f.3 SMBus: Intel Corporation 6 Series/C200 Series Chipset Family SMBus Controller (rev 04)
01:00.0 VGA compatible controller: NVIDIA Corporation GK104GLM [Quadro K4000M] (rev a1)
01:00.1 Audio device: NVIDIA Corporation GK104 HDMI Audio Controller (rev a1)
03:00.0 Network controller: Intel Corporation Centrino Ultimate-N 6300 (rev 35)
0a:00.0 USB controller: NEC Corporation uPD720200 USB 3.0 Host Controller (rev 04)
0b:00.0 FireWire (IEEE 1394): O2 Micro, Inc. OZ600 1394a-2000 Controller (rev 05)
0b:00.1 SD Host controller: O2 Micro, Inc. OZ600RJ1/OZ900RJ1 SD/MMC Card Reader Controller (rev 05)
0b:00.2 Mass storage controller: O2 Micro, Inc. OZ600 MS/xD Controller (rev 05)

./iommu-test 
IOMMU Group 0 00:00.0 Host bridge [0600]: Intel Corporation 2nd Generation Core Processor Family DRAM Controller [8086:0104] (rev 09)
IOMMU Group 10 00:1c.7 PCI bridge [0604]: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 8 [8086:1c1e] (rev b4)
IOMMU Group 11 00:1d.0 USB controller [0c03]: Intel Corporation 6 Series/C200 Series Chipset Family USB Enhanced Host Controller #1 [8086:1c26] (rev 04)
IOMMU Group 12 00:1f.0 ISA bridge [0601]: Intel Corporation QM67 Express Chipset Family LPC Controller [8086:1c4f] (rev 04)
IOMMU Group 12 00:1f.2 SATA controller [0106]: Intel Corporation 6 Series/C200 Series Chipset Family 6 port SATA AHCI Controller [8086:1c03] (rev 04)
IOMMU Group 12 00:1f.3 SMBus [0c05]: Intel Corporation 6 Series/C200 Series Chipset Family SMBus Controller [8086:1c22] (rev 04)
IOMMU Group 13 03:00.0 Network controller [0280]: Intel Corporation Centrino Ultimate-N 6300 [8086:422b] (rev 35)
IOMMU Group 14 0a:00.0 USB controller [0c03]: NEC Corporation uPD720200 USB 3.0 Host Controller [1033:0194] (rev 04)
IOMMU Group 15 0b:00.0 FireWire (IEEE 1394) [0c00]: O2 Micro, Inc. OZ600 1394a-2000 Controller [1217:11f7] (rev 05)
IOMMU Group 15 0b:00.1 SD Host controller [0805]: O2 Micro, Inc. OZ600RJ1/OZ900RJ1 SD/MMC Card Reader Controller [1217:8320] (rev 05)
IOMMU Group 15 0b:00.2 Mass storage controller [0180]: O2 Micro, Inc. OZ600 MS/xD Controller [1217:8330] (rev 05)
IOMMU Group 1 00:01.0 PCI bridge [0604]: Intel Corporation Xeon E3-1200/2nd Generation Core Processor Family PCI Express Root Port [8086:0101] (rev 09)
IOMMU Group 1 01:00.0 VGA compatible controller [0300]: NVIDIA Corporation GK104GLM [Quadro K4000M] [10de:11bd] (rev a1)
IOMMU Group 1 01:00.1 Audio device [0403]: NVIDIA Corporation GK104 HDMI Audio Controller [10de:0e0a] (rev a1)
IOMMU Group 2 00:16.0 Communication controller [0780]: Intel Corporation 6 Series/C200 Series Chipset Family MEI Controller #1 [8086:1c3a] (rev 04)
IOMMU Group 3 00:19.0 Ethernet controller [0200]: Intel Corporation 82579LM Gigabit Network Connection [8086:1502] (rev 04)
IOMMU Group 4 00:1a.0 USB controller [0c03]: Intel Corporation 6 Series/C200 Series Chipset Family USB Enhanced Host Controller #2 [8086:1c2d] (rev 04)
IOMMU Group 5 00:1b.0 Audio device [0403]: Intel Corporation 6 Series/C200 Series Chipset Family High Definition Audio Controller [8086:1c20] (rev 04)
IOMMU Group 6 00:1c.0 PCI bridge [0604]: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 1 [8086:1c10] (rev b4)
IOMMU Group 7 00:1c.1 PCI bridge [0604]: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 2 [8086:1c12] (rev b4)
IOMMU Group 8 00:1c.2 PCI bridge [0604]: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 3 [8086:1c14] (rev b4)
IOMMU Group 9 00:1c.3 PCI bridge [0604]: Intel Corporation 6 Series/C200 Series Chipset Family PCI Express Root Port 4 [8086:1c16] (rev b4)

dmesg|grep -e DMAR -e IOMMU
[    0.000000] ACPI: DMAR 0x00000000CF7E4A18 0000B0 (v01 INTEL  SNB      00000001 INTL 00000001)
[    0.000000] DMAR: IOMMU enabled
[    0.032639] DMAR: Host address width 36
[    0.032641] DMAR: DRHD base: 0x000000fed91000 flags: 0x1
[    0.032646] DMAR: dmar0: reg_base_addr fed91000 ver 1:0 cap c9008020660262 ecap f0105a
[    0.032646] DMAR: RMRR base: 0x000000cf5c6000 end: 0x000000cf5d5fff
[    0.032648] DMAR-IR: IOAPIC id 2 under DRHD base  0xfed91000 IOMMU 0
[    0.032649] DMAR-IR: HPET id 0 under DRHD base 0xfed91000
[    0.032650] DMAR-IR: Queued invalidation will be enabled to support x2apic and Intr-remapping.
[    0.032854] DMAR-IR: Enabled IRQ remapping in x2apic mode
[    1.199194] DMAR: No ATSR found
[    1.200771] DMAR: dmar0: Using Queued invalidation
[    1.200784] DMAR: Setting RMRR:
[    1.200870] DMAR: Setting identity map for device 0000:00:1a.0 [0xcf5c6000 - 0xcf5d5fff]
[    1.200950] DMAR: Setting identity map for device 0000:00:1d.0 [0xcf5c6000 - 0xcf5d5fff]
[    1.200962] DMAR: Prepare 0-16MiB unity mapping for LPC
[    1.201031] DMAR: Setting identity map for device 0000:00:1f.0 [0x0 - 0xffffff]
[    1.201132] DMAR: Intel(R) Virtualization Technology for Directed I/O

glxinfo|egrep "OpenGL vendor|OpenGL renderer"
OpenGL vendor string: NVIDIA Corporation
OpenGL renderer string: Quadro K4000M/PCIe/SSE2

sudo pacman -Q | grep intel
intel-tbb 2017_20170226-1
intel-ucode 20161104-1
xf86-video-intel 1:2.99.917+770+gcb6ba2da-1

sudo pacman -Q | grep nvidia
nvidia-dkms 378.13-5
nvidia-settings 378.13-1
nvidia-utils 378.13-6
opencl-nvidia 378.13-6

I'm not really sure what the issue might be. I would expect the iGPU to appear in lspci even if I wasn't actively using it atm.