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