Add crypt_get_device_name() to API (get underlying device name).