Update device_marvel.mk