Hi!

I needed to set pci=nocrs for my rp5700 to detect a PRO/100 PCI card,
so I'm reporting here as instructed by the dmesg.

The DMI line when booting is:
> Sep 17 17:55:06 szarotka kernel: DMI: Hewlett-Packard HP rp5700 Business System/0A80h, BIOS 786E4 v01.24 08/23/2016

I'm also attaching zstd-compressed dmidecode output.

If that matters, I'm on kernel 5.7.17-1 from Debian.

Best,
наб