Update device.mk

Not yet completed .. Verify whether to change the last 2 lines in this doc.