Merge <kernel/device.h> and <telos/devices.h>

Device numbers are no longer needed outside the kernel, so the
user-space header serves no purpose.