[SeaBIOS] [PATCH v2 0/6] Build PCI hotplug SSDT from a single template