[PATCH kernel-4.19 17/36] arm64: Add config switch and kernel parameter for CPU0 hotplug