Re: [SeaBIOS] [PATCH 6/6] acpi: build PCI hotplug devices from a single template