Ok, ich war wahrscheinlich zu blind auf der ASRock Seite in der schwarzen Navigationsleiste weiter unten den Button "Support" zu finden
Dort gibt es das Untermenue BIOS mit dieser Version zum download:
[Beta] 1.80 2018/5/30 Instant Flash Update CPU Microcode
Diese werde ich wohl brauchen.
Eine weitere Frage:
Im Untermenue
Download finde ich eine Menge Einträge.
Was brauche ich zusätzlich zum BIOS, damit das Board vernünftig läuft?