[U-Boot] [PATCH v3 15/15] arm, davinci: Add support for generating AIS images to the Makefile