Files: /kernel/x86_64/arm64/cpu-hotplug.html