arm, davinci: Add support for generating AIS images to the Makefile