Update and rename device_fx3s.mk to device_fx3.mk