if TARGET_EFI
config SYS_BOARD
default "efi-x86"
config SYS_VENDOR
default "efi"
config SYS_SOC
config SYS_CONFIG_NAME
endif