this o que você está procurando?
O tópico que você mencionou não diz que o utilitário não foi encontrado como você sugeriu, mas que ele não funcionou no Wine. Provavelmente está executando alguma operação de baixo nível no cartão SD que não é suportada pela emulação do Wine. Talvez seja melhor usar uma instalação genuína do Windows, seja autônoma ou em uma máquina virtual. Uma VM fornecerá um ambiente de execução muito mais preciso para o Windows do que o Wine, mas exige uma licença do Windows, é claro.
Isso pode ser de alguma utilidade. Refere-se à criação de um cartão SD inicializável para o BeagleBoard, mas acho que é geralmente aplicável (já que também é fornecido no Wiki do Raspberry Pi)