Update device_vanquish.mk