cpufreq_hotplug: use workqueues when enabling/disabling the second core

Credits: Gokhan Moral <gm@alumni.bilkent.edu.tr>