There's a check in sys/dev/acpica/acpi_pcib_acpi.c (around line 445) which expects "If there is a decoded bus range, assume the bus number is the first value in the range". I know nothing about ACPI or PCI bridges, so I can't comment if that's sensible; however, the comment and code don't seem to match the warning message which is output - 128 is definitely within the range 32-255, which is a bit confusing. :-) pcib9: <ACPI Host-PCI bridge> on acpi0 pcib9: WARNING: BIOS configured bus number (128) is not within decoded bus number range (32 - 255). pcib9: Using range start (32) as bus number.
Created attachment 257831 [details] dmesg.boot