Fixup device mk

Change-Id: I67d88625a046ced2063b3b4956a8131d2a99209b