d710: Make device.mk look cleaner