u-boot-brain/board/gaisler/gr_xc3s_1500/Kconfig