Re: [Linaro-open-discussions] PCI BDF in ACPI table - In reality does Linux ever actually change these?