4 prompt "Mainboard model"
10 This target is used for running U-Boot on top of EFI. In
11 this case EFI does the early initialisation, and U-Boot
12 takes over once the RAM, video and CPU are fully running.
13 U-Boot is loaded as an application from EFI.
17 source "board/efi/efi-x86/Kconfig"