[SeaBIOS] [PATCHv4 1/3] acpi: add ssdt for pci hotplug