When using the ls userspace program to list a specific device file,
nothing would be displayed. This was because ls only tests for T_FILE
and T_DIR. T_DEVICE files would fall through the case block.
Adding T_DEVICE to the T_FILE case allows a device file to be listed.
$ ls console
console 3 19 0