u-boot/board/versatile/config.mk