[PATCH 07/88] Makefile: Drop CONFIG_AIS_CONFIG_FILE