Ich konnte das Update der SIO Firmware mit Hilfe von JZelectronic (https://shop.jzelectronic.de/news.php?id=3580&sw=) wieder rückgängig machen :-). Nach einem Neustart lies sich das Bios auch wie vorgesehen updaten. Der Mini läuft jetzt mit der aktuellen Firmware 4.03 und den von c't empfohlenen Bios-Einstellungen. Das Aufspielen der SIO Firmware ist anders als auf der ASRock-Seite angegeben keine Voraussetzung für das Update auf Bios-Version 2.01 oder höher.
