12 config SYS_CONFIG_NAME
16 default 0xfff00000 if !EFI_STUB
17 default 0x01110000 if EFI_STUB
19 config BOARD_SPECIFIC_OPTIONS # dummy
21 select X86_RESET_VECTOR if !EFI_STUB
23 select BOARD_ROMSIZE_KB_8192
24 select BOARD_EARLY_INIT_F
25 select BOARD_LATE_INIT