Documentation: x86: convert x86_64/cpu-hotplug-spec to reST