Where does this crippled device name come from? /dev/disk/by-uuid/47c6783a-2b0$740*bd3$f0f43f63d8c I can't find any file, that contains this string with two dollar characters and an asterisk in it. And of course it does not exist in the filesystem.