if VENDOR_EFI

choice
	prompt "Mainboard model"
	optional

config TARGET_EFI
	bool "efi"
	help
	  This target is used for running U-Boot on top of EFI. In
	  this case EFI does the early initialisation, and U-Boot
	  takes over once the RAM, video and CPU are fully running.
	  U-Boot is loaded as an application from EFI.

endchoice

source "board/efi/efi-x86/Kconfig"

endif