arch/arm/mach-mxs/Makefile.boot

zreladdr-y += 0x40008000

dtb-y += imx23-evk.dtb \
	 imx23-olinuxino.dtb \
	 imx23-stmp378x_devb.dtb \
	 imx28-apx4devkit.dtb \
	 imx28-cfa10036.dtb \
	 imx28-evk.dtb \
	 imx28-m28evk.dtb \
	 imx28-tx28.dtb \