* Christian Sühs chris@suehsi.de [060424 12:32]:
Looking at vga_onboard Reassigning vga to PCI: 00:12.4
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
I think this line is wrong, the debug should be output the vga_onboard Variable, but the output is vga.
good spot. LinuxBIOS does not detect the vga device as an onboard vga device.
Lemme see..