Re: [LinuxBIOS] [Patch] Fix CONFIG_CONSOLE_VGA handling in default pci_dev_init.

[ron minnich]

This patch fixes the problem. It's not elegant but v2 is on the path
to obsolescence and I
would rather not do something more complex.

Comments welcome. Luc, thanks for raising this issue.

ron