Update and rename device_trebon.mk to full_trebon.mk