I am currently on this version of the BIOS:
Vendor: American Megatrends International, LLC.
Version: SER9T407
Release Date: 12/17/2025
The reason Iām asking because on Arch Linux during boot I get an error that is due to needing a fix in the BIOS firmware.
ā[ 0.065840] RDSEED32 is broken. Disabling the corresponding CPUID bit.ā
Thank you. Would be helpful to be able to browse to BIOS versions instead of having to ask or beg for an update.