[#1890] Moved cleaning of config.mk and platform.mk to after make clean