я такого же гену обновлял по этому мануалу на днях. у меня тоже загрузка с sd-карточки. в dsm 5.2 меня никак не тревожило то, что эта карточка отображается в обозревателе файлов. когда обновился, эта карточка перестала отображаться ))) не вникал почему так произошло ))) (маки вставил в конфиг свои прежние, а этот самый вид/пид оставил без изменения, то есть какой изначально Создатель указал). вся процедура заняла меньше часа.
ну и по собственно говоря, по идее, карточки не могут иметь этих цифр. когда первый раз накатывал dsm на hp gen8, бегло погуглил это дело и забил.