Makes Xorg use of pci_device_is_boot_vga. First discussed with macallan@ then public on tech-kern@ and tech-x11@