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