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