u-boot/board/cpu87/Kconfig