Update and rename full_marvel.mk to full_icong.mk