Update device_trebon.mk