發現一個 linux kernel 無法根據 BIOS ACPI 設定正確關閉 ASPM 的 bug

從 ACPI spec 查到 PCIe ASPM Control bit，它是在 FACP table 下的 IAPC_BOOT_ARCH flag: