rv1126-uboot/board/efi
..
efi-x86
Kconfig