Fix device.mk derp

Change-Id: I3676b04cf8fd97e910ca1e9a8aae0c0df34521d0