u-boot/board/bf525-ucr2/Kconfig