build: Include an extra device.mk

Change-Id: I4373f78f57c81e46affc2f6a6bc854bf4c3d00db
(cherry picked from commit c044754e1a368df6c60b184bbcd3763488af6869)