[SeaBIOS] [PATCH 10/11] acpi: move cpu hotplug to separate file [q35]