u-boot/board/armltd/integratorcp/config.mk