# select HAVE_MP_TABLE
select MMCONF_SUPPORT
select USE_PRINTK_IN_CAR
- select AP_IN_SIPI_WAIT
select UDELAY_LAPIC
select HAVE_ACPI_TABLES
select HAVE_SMI_HANDLER
select BOARD_ROMSIZE_KB_1024
select USE_DCACHE_RAM
select GFXUMA
- select HAVE_HARD_RESET
config MAINBOARD_DIR
string
int
default 10
-# WTF, is this 19200?
-config TTYS0_DIV
- int
- default 6
+# This mainboard might have a higher clocked UART or might not be able to run
+# serial output at 115200 baud
endif