[Linux-stable-mirror] [added to the 4.1 stable tree] ARM: ux500: fix prcmu_is_cpu_in_wfi() calculation