u-boot/board/integratorcp/config.mk