Files: /kernel/x86_64/platform/device-hotplug.html