configs: stm32f769-disco: Rename stm32f769-disco_defconfig to stm32f769-disco_spl_def...
[platform/kernel/u-boot.git] / board / efi /
drwxr-xr-x   ..
-rw-r--r-- 1077 Kconfig
drwxr-xr-x - efi-x86_app
drwxr-xr-x - efi-x86_payload