Update and rename device_t1000.mk to device_us9230e1.mk