d800 - correct pointer to device.mk

Change-Id: If2af5c50399f431d314ee4e551ddba7e0165188f