Re: [SeaBIOS] [PATCH] seabios: acpi: Add _STA for PCI hotplug slots