ARM CPU Topology and cpu_power driver