cpufreq_hotplug: patch hotplug governor to use workqueues when enabling/disabling the second core