pc: acpi: factor out cpu hotplug code from build_ssdt() into separate function