Rename full_s2vep.mk to device_s2vep.mk