Fix that device mk since I accidentally copied dvhexers

Change-Id: I0e51caa5e63ec6c060e4711c1ab35840ec9d70c3