Sul sito tedesco di ASUS ho trovato il file flash820, con quello ho installato il 1007, sembra che tutto funzioni regolarmente.