Update and rename device_marvel.mk to full_marvel.mk