Update device.mk and full_d800.mk