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