Add a device_get_name(9) manual page (from FreeBSD).