посмотрел на
http://www.tornadoflasher.net. там нет ничего про семены вообще. может просто не покаывают для простых юзеров, не имеющих полного доступа. а вот на
http://www.ufsx.com есть строчка "Siemens 4xx, 5xx" в списке поддерживаемых. описываются везде UFS-3 Tornado, правда нарисованны разные корпуса. пока сам не купил выбираю, что лучше взять исходя из спроса населения. поэтому гарантировано ответить не могу.