This is a really simple question, but I cannot find info on the web. Can anyone confirm whether the Asrock x670e Taichi has single or dual BIOS? I can't find mention of this anywhere, so I suspect single. Just seems like a fairly major flaw for such an expensive board.