uses CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
uses CONFIG_CONSOLE_VGA
uses CONFIG_PCI_ROM_RUN
+uses CONFIG_VGA_ROM_RUN
uses CONFIG_WRITE_HIGH_TABLES
uses CONFIG_VIDEO_MB
default CONFIG_TSC_X86RDTSC_CALIBRATE_WITH_TIMER2 = 1
default CONFIG_CONSOLE_VGA = 1
default CONFIG_PCI_ROM_RUN = 1
+default CONFIG_VGA_ROM_RUN = 1
default CONFIG_WRITE_HIGH_TABLES = 1
default CONFIG_VIDEO_MB = 1
end