Restore "device.h: rework the device_extern.h mechanism"

This reverts commit 5b2ba9aa, restoring
commit 0224f2c5.

Restore the original change now that the underlying issue has been fixed
in 6cfb1868.

Signed-off-by: Fabio Baltieri <fabiobaltieri@google.com>