u-boot-brain/board/altera/arria10-socdk/Kconfig