u-boot/arch/arm/cpu/armv7/omap4/config.mk