u-boot/board/vocore/vocore2/Kconfig