Update device_liberty.mk