Supermicro provided a workaround: boot with the kernel command line parameter pci=realloc=off.
As an side, Rocky 9.2 does not have this issue even though it boots
without that kernel command line parameter.
Jeff (http://engineering.purdue.edu/~qobi)
