The CONFIG_CONSOLE_VGA and CONFIG_PCI_ROM_RUN logic in src/devices/pci_device.c:pci_dev_init is messed up.
First of all, pci_dev_init should only do anything when the pci rom should be run. Secondly, vga_inited should only be set when the rom has been run, and never otherwise as this should be done by the relevant init function of possible (future) VGA setup drivers.
Signed-off-by: Luc Verhaegen libv@skynet.be