[SeaBIOS] [PATCH 15/20] acpi: move cpu hotplug to separate file