Rename device_marvel.mk to device_icong.mk