Rename device_marvel.mk to device.mk