Fix/update hotplug.c HAL output, and make whitespacing consistent.
2 files changed