0645e675ef
There are real devices with 32-bit domain ID 0x10000, which needs 10 digits to represent at the worst case (0xffffffff): open-mpi/hwloc#354
Current test will deny those devices since the field was expecting a Bus ID, which is only 8-bit wide.
Format: https://gitlab.freedesktop.org/xorg/xserver/-/blob/master/hw/xfree86/common/xf86pciBus.c#L263
Fixes: ce2e4707b7