Girovagando per vari forum mi sono imbattuto in questa lista: https://docs.google.com/folder/d/0B2...2xxQ0FRYkJBWDg
Qui si possono scaricare per diversi modelli di mini pc i relativi firmware stock presenti in versione normale e talvolta rootata.
Spero possano tornare utili a qualcuno.