ASRock hat mir heute geantwortet, und mir sogar ein ganz neues BIOS geschickt.
Also nicht 2.31A, welches mir als die zuletzt neue Version bekannt war, sondern Version 2.32 !
Es wundert mich nur, dass man in der Support-Liste zum Mainboard, die BIOS-Versionen nicht weiter erneuert, auch wenn dies...