Devices name/node tagging is not consistent in the Handbook, it should
respect the following scheme:
- if the device name is /dev/foo --> <filename>/dev/foo</filename>
- if the device name is just foo --> <devicename>foo</devicename>
(See "4.2.5.7 Devices" from fdp-primer)