Index: src/devices/device.c
===================================================================
--- src/devices/device.c	(revision 2254)
+++ src/devices/device.c	(working copy)
@@ -384,20 +384,27 @@
 	vga_first = 0;
 	vga_last = 0;
 	for(dev = all_devices; dev; dev = dev->next) {
-		if (!dev->enabled) continue;
+		if (!dev->enabled) {
+			printk_spew(" Skipping disabled device %s\n",dev_path(dev));
+			continue;
+		}
 		if (((dev->class >> 16) == PCI_BASE_CLASS_DISPLAY) &&
 			((dev->class >> 8) != PCI_CLASS_DISPLAY_OTHER)) 
 		{
                         if (!vga_first) {
                                 if (dev->on_mainboard) {
+					printk_spew(" first onboard = %s\n",dev_path(dev));
                                         vga_onboard = dev;
                                 } else {
+					printk_spew(" vga_first = %s\n",dev_path(dev));
                                         vga_first = dev;
                                 }
                         } else {
                                 if (dev->on_mainboard) {
+					printk_spew(" last onboard = %s\n",dev_path(dev));
                                         vga_onboard = dev;
                                 } else {
+					printk_spew(" vga_last = %s\n",dev_path(dev));
                                         vga_last = dev;
                                 }
                         }
@@ -413,12 +420,19 @@
                 vga = vga_first;
         }
 
+	if (vga) {
+		printk_spew(" vga = %s\n",dev_path(vga));
+	}	
+
 #if 1
+	printk_spew(" Looking at vga_onboard\n");
         if (vga_onboard) // will use on board vga as pri
 #else
-        if (!vga) // will use last add on adapter as pri
+	printk_spew(" Looking at vga\n");
+        if (!vga) // will use last add on adapter as pria
 #endif
         {
+		printk_spew(" Reassigning vga to %s\n",dev_path(vga));
                 vga = vga_onboard;
         }