u-boot/board/cerf250/config.mk